Model Checking An Entire Linux Distribution for Security Violations.

Benjamin Schwarz, Hao Chen, David A. Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West

Browse the full ACSAC paper archive.