Document Versions

Model Checking an Entire Linux Distribution for Security Violations –Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin — 2005 — In Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC
Model Checking An Entire Linux Distribution for Security Violations –Benjamin Schwarz , Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin, Wei Tu — 2005 — IN PROCEEDINGS OF THE ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE
Model Checking An Entire Linux Distribution for Security Violations –Benjamin Schwarz , Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin, Wei Tu — 2005 — IN PROCEEDINGS OF THE ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE
Model checking an entire Linux distribution for security violations –Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin, Wei Tu — 2005 — In Proceedings of the Annual Computer Security Applications Conference
Model checking an entire Linux distribution for security violations –Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin, Wei Tu — 2005 — In Proceedings of the Annual Computer Security Applications Conference
Model checking an entire Linux distribution for security violations –Benjamin Schwarz, Hao Chen, David Wagner — 2005 — In Proceedings of the Annual Computer Security Applications Conference
Model checking an entire Linux distribution for security violations –Benjamin Schwarz, Hao Chen, David Wagner — 2005 — In Proceedings of the Annual Computer Security Applications Conference
Model checking an entire Linux distribution for security violations –Benjamin W. Schwarz, Doug Tygar, Second Reader — 2005 — In Proceedings of the Annual Computer Security Applications Conference