Lancet: A Formalization Framework for Crash and Exploit Pathology

Name: Lancet: A Formalization Framework for Crash and Exploit Pathology
Duration: 15 min
Description: Talk from 34th USENIX Security Symposium (USENIX Security '25).

Qinrun Dai

34th USENIX Security Symposium (USENIX Security '25) · Day 1 · Software Security 1