Lancet: A Formalization Framework for Crash and Exploit Pathology
Conference Proceeding
Overview
publication date
- August 13, 2025
Date in CU Experts
- February 1, 2026 7:42 AM
Full Author List
- Dai Q; Linvill K; Chen Y; Kaki G
author count
- 4
citation count
- 0
presented at event
- 34th USENIX Security Symposium Conference
Additional Document Info
start page
- 375
end page
- 394