Formal Verification of Forensic Evidence Using Coq: A Comprehensive Approach to Disk Image Analysis

Lecture notes in networks and systems 2026 Book chapter

View at publisher

Authors: Sandeep Malipeddi

DOI: 10.1007/978-981-95-3701-3_23

Cited by: 1

References: 1

Fields of Study & Subjects

Digital and Cyber Forensics Digital Media Forensic Detection Autopsy Techniques and Outcomes

References 1