A Formal Approach to Analyzing Cyber-Forensics Evidence.

Erisa Karafili, Matteo Cristani, Luca Vigan

Browse the full ESORICS paper archive.