D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Symposium on Network and Distributed Systems Security, pages 3--17, San Diego, CA, Feb. 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Pointer-Range Analysis - Yong, Horwitz (2004) (1 citation) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Symposium on Network and Distributed Systems Security, pages 3--17, San Diego, CA, Feb. 2000.
Reducing the Overhead of Dynamic Analysis - Yong, Horwitz (2002) (1 citation) (Correct)
No context found.
D. Wagner, J.S. Foster, E.A. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Symposium on Network and Distributed Systems Security (NDSS '00), pages 3--17, San Diego, CA, February 2000.
Measuring a System's Attack Surface - Pratyusa Manadhata Jeannette (2004) (1 citation) (Correct)
No context found.
David Wagner, Je#rey S. Foster, Eric A. Brewer, and Alexander Ai, A First Step Towards Automated Detection of Bu#er Overrun Vulnerabilities, Network and Distributed System Security Symposium (2000).
Automatic Vulnerability Detection Using Static Source Code Analysis - Sotirov (2005) (Correct)
No context found.
Wagner, David, Je#rey S. Foster, Eric A. Brewer, and Alexander Aiken. 2000. A first step towards automated detection of bu#er overrun vulnerabilities. In Network and distributed system security symposium, 3--17. San Diego, CA, USA.
Modeling and Visualizing Security Properties of Code Using.. - Wilander (2005) (Correct)
No context found.
D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Proceedings of Network and Distributed System Security Symposium, pages 3--17, Catamaran Resort Hotel, San Diego, California, February 2000.
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
No context found.
David Wagner, Je#rey S. Foster, Eric A. Brewer, and Alexander Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Proceedings of Network and Distributed System Security Symposium, pages 3--17, Catamaran Resort Hotel, San Diego, California, February 2000.
Turning Eclipse against Itself: Improving the Quality of Eclipse .. - Livshits (2005) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Proceedings of Network and Distributed Systems Security Symposium, pages 3--17, Feb. 2000.
Efficient Techniques for Comprehensive Protection from.. - Bhatkar, Sekar, DuVarney (2005) (2 citations) (Correct)
No context found.
D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Network and Distributed System Security Symposium, San Diego, CA, 2000.
Improving Software Security with a C Pointer Analysis - Avots, Dalton, Livshits, Lam (2005) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Proceedings of Network and Distributed Systems Security Symposium, pages 3--17, February 2000.
Buffer Overflow and Format String Overflow Vulnerabilities - Lhee, Chapin (2002) (Correct)
No context found.
Wagner D, Foster JS, Brewer EA, Aiken A. A First Step Towards Automated Detection of Bu#er Overrun Vulnerabilities. Network and Distributed System Security Symposium San Diego, CA, February 2000; 3--17.
Hardware and Binary Modification Support for Code Pointer .. - Tuck, Calder, Varghese (2004) (2 citations) (Correct)
No context found.
David Wagner, Je#rey S. Foster, Eric A. Brewer, and Alexander Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Network and Distributed System Security Symposium, pages 3--17, San Diego, CA, February 2000.
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
No context found.
David Wagner, Je#rey S. Foster, Eric A. Brewer, and Alexander Aiken. A First Step Towards Automated Detection of Bu#er Overrun Vulnerabilities. In Proceedings of the 7th Networking and Distributed System Security Symposium 2000.
First Steps Toward a Cryptography-Aware Language and Compiler - Barbosa, Noad, Page, Smart (2005) (Correct)
No context found.
D. Wagner, J.S. Foster, E.A. Brewer and A. Aiken. A First Step Towards Automated Detection of Bu#er Overrun Vulnerabilities. In Networking and Distributed System Security Symposium, 2000.
Correlation Exploitation in Error Ranking - Kremenek, Ashcraft, Yang, Engler (2004) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In 2000.
Shield: Vulnerability-Driven Network Filters for.. - Wang, Guo, Simon.. (2004) (13 citations) (Correct)
No context found.
David Wagner, Je#rey S. Foster, Eric A. Brewer, and Alexander Aiken. A First Step Towards Automated Detection of Bu#er Overrun Vulnerabilities. In NDSS, 2000.
Tracking Pointers with Path and Context Sensitivity for Bug.. - Livshits, Lam (2003) (6 citations) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Proceedings of Network and Distributed Systems Security Symposium, pages 3--17, 2000.
Implementation and Performance Evaluation of a Safe Runtime.. - Fluet, Wang (2004) (Correct)
No context found.
D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Network and Distributed System Security Symposium, pages 3--17, San Diego, CA, February 2000.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
David Wagner, Je#rey Foster, Eric Brewer, and Alexander Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Networking and Distributed System Security Symposium 2000.
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (63 citations) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step toward automated detection of bu#er overrun vulnerabilities. In Network Distributed Systems Security Symposium, pages 1--15, Feb. 2000.
Preventing Privilege Escalation - Niels Provos Markus (2002) (9 citations) (Correct)
No context found.
David Wagner, Je#rey S. Foster, Eric A. Brewer, and Alexander Aiken. A First Step Towards Automated Detection of Bu#er Overrun Vulnerabilities. In Proceedings of the ISOC Symposium on Network and Distributed System Security, pages 3--17, February 2000. 10
Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000) (1 citation) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In Network and Distributed System Security Symposium, San Diego, CA, February 2000.
Z-Ranking: Using Statistical Analysis to Counter the Impact.. - Kremenek, Engler (Correct)
No context found.
Wagner, D., Foster, J., Brewer, E., Aiken, A.: A first step towards automated detection of bu#er overrun vulnerabilities. In: 2000 NDSSC. (2000)
CCured in the Real World - Jeremy Condit Matthew (2003) (13 citations) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step toward automated detection of bu#er overrun vulnerabilities. In Network Distributed Systems Security Symposium, pages 1--15, Feb. 2000.
ARCHER: Using Symbolic, Path-sensitive Analysis to Detect.. - Xie, Chou, Engler (2003) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of bu#er overrun vulnerabilities. In The 2000.
CCured in the Real World - Condit, Harren, McPeak, Necula.. (2003) (13 citations) (Correct)
No context found.
D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step toward automated detection of bu#er overrun vulnerabilities. In Network Distributed Systems Security Symposium, pages 1--15, Feb. 2000.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC