User action representation and automated reasoning for the forensic analysis of mobile devices Please, cite this paper as: Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, and Daniele Theseider Dupr´ e “User action representation and automated reasoning for the forensic analysis of mobile devices,” Proc. of the 16th International Conference on Availability, Reliability and Security (ARES 2021), Vienna, Austria, August 17-20, 2021, ACM, Article 45, pp. 1-7. DOI: 10.1145/3465481.3470053 Publisher: https://dl.acm.org/doi/10.1145/3465481.3470053 1