Prototypes and platforms for automated reasoning in digital forensics

06 Mar 2019

In this talk we summarize the main goals of the work group on prototypes and platforms inside the COST action “DigForASP” mostly focused on the application of Automated Reasoning for Digital Forensics (DF). We explain the main features of automated reasoning techniques and the cases in which they are best suited for Digital Forensics, emphasizing their utility for evidence analysis. In the second part of the talk, we make a brief introduction to one automated reasoning paradigm, Answer Set Programming, that has been successfully applied for evidence analysis tasks in DF.

Prof. Manuel Ojeda-Aciego, Full Professor - University of Málaga