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
presented at event
- Usenix Security Conference