Benjamin Schwarz, Hao Chen, David Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West. Model Checking An Entire Linux Distribution for Security Violations. In 21st Annual Computer Security Applications Conference (ACSAC 2005), 5-9 December 2005, Tucson, AZ, USA. pages 13-22, IEEE Computer Society, 2005. [doi]