Lancet: A Formalization Framework for Crash and Exploit Pathology

Authors: 

Qinrun Dai, Kirby Linvill, Yueqi Chen, and Gowtham Kaki, University of Colorado Boulder