Model checking one million lines of C code (2004)

by Hao Chen , Drew Dean , David Wagner
Venue:In Proceedings of the 11th Annual Network and Distributed System Security Symposium (NDSS
Citations:69 - 2 self

Active Bibliography

18 Consistency analysis of authorization hook placement in the Linux security modules framework – Trent Jaeger, Antony Edwards, Xiaolan Zhang - 2004
196 MOPS: an Infrastructure for Examining Security Properties of Software – Hao Chen, David Wagner - 2002
27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
25 Model Checking an Entire Linux Distribution for Security Violations – Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin - 2005
164 Securing Web Application Code by Static Analysis and Runtime Protection – Yao-Wen Huang, Fang Yu, Christian Hang, Chung-hung Tsai, D. T. Lee, Sy-yen Kuo - 2004
Rob Johnson David Wagner – Report No Ucb, Rob Johnson, David Wagner - 2004
1 Finding User/Kernel Pointer Bugs With Type Inference – Rob Johnson David, David Wagner - 2004
9 Runtime verification of authorization hook placement for the Linux security modules framework – Antony Edwards, Trent Jaeger, Xiaolan Zhang - 2002
25 Correlation exploitation in error ranking – Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson Engler - 2004
11 Portably solving file TOCTTOU races with hardness amplification – Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva - 2008
Security on demand – Munawar Hafiz - 2010
2 IMPROVING SOFTWARE ASSURANCE USING LIGHTWEIGHT STATIC Analysis – Rajeev Gopalakrishna - 2006
1 USENIX Association – Th Usenix Security, Anil Somayaji - 1992
2 Verifying Security Properties using Type-Qualifier Inference – Robert Timothy Johnson, Robert Timothy Johnson - 2007
4 IMPROVING SOFTWARE SECURITY WITH PRECISE STATIC AND RUNTIME ANALYSIS – Benjamin Livshits - 2006
6 A Comparison of Static Analysis and Fault Injection Techniques for Developing Robust System Services – Pete Broadwell, Emil Ong
Mining API Specifications from Source Code for Improving Software Reliability – MITHUN PUTHIGE ACHARYA
Generating and Inferring Interface Properties for Static Analysis – Mithun Acharya, Tao Xie, Jun Xu
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005