Computational Logic

User action representation and automated reasoning for the forensic analysis of mobile devices

We propose a framework for structuring the description and results of the forensic analysis of actions of investigative interest in …

Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, Daniele Theseider Dupré