A Formal Approach to Analyzing Cyber-Forensics Evidence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erisa Karafili, Matteo Cristani, Luca Viganò 0001. A Formal Approach to Analyzing Cyber-Forensics Evidence. In Javier López 0001, Jianying Zhou 0001, Miguel Soriano, editors, Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I. Volume 11098 of Lecture Notes in Computer Science, pages 281-301, Springer, 2018. [doi]

This author has not been identified. Look up 'Erisa Karafili' in GoogleThis author has not been identified. Look up 'Matteo Cristani' in GoogleThis author has not been identified. Look up 'Luca Viganò 0001' in Google

runs on WebDSL