R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Automated and Algorithmic Debugging, pages 13--26, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Enhancing Software Reliability With Speculative Threads - And The Committee (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Automated and Algorithmic Debugging, pages 13--26, 1997.
Enhancing Security through Hardware-assisted Run-time .. - Arora, Raghunathan.. (2005) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proc. Int. Wkshp. Automated and Algorithmic Debugging, pages 13--26, May 1997.
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in c programs. In International Workshop on Automated and Algorithmic Debugging, pages 13--26, 1997.
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
No context found.
Richard Jones and Paul Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proceedings of the Third International Workshop on Automatic Debugging AADEBUG'97, Linkoping, Sweden, May 1997.
Using DISE to Protect Return Addresses from Attack - Marc Corliss Christopher (2004) (Correct)
No context found.
R. Jones and P. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proc. of the Int. Workshop on Automatic Debugging, pages 13--26, May 1997.
Improving Software Security with a C Pointer Analysis - Avots, Dalton, Livshits, Lam (2005) (Correct)
No context found.
R. Jones and P. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proceedings of the International Workshop on Automatic Debugging, pages 13--26, May 1997.
Buffer Overflow and Format String Overflow Vulnerabilities - Lhee, Chapin (2002) (Correct)
No context found.
Jones RWM, Kelly PHJ. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. Proceedings of the Third International Workshop on Automatic Debugging Sweden, May 1997; 13--26.
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in c programs. In International Workshop on Automated and Algorithmic Debugging, pages 13--26, 1997.
Fast and Automated Generation of Attack Signatures: A Basis.. - Liang, Sekar (2005) (1 citation) (Correct)
No context found.
R. Jones and P. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Intl. Workshop on Automated Debugging, 1997.
Type-Assisted Dynamic Buffer Overflow Detection - Lhee, Chapin (2002) (11 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in c programs. In Proceedings of the third International Workshop on Automatic Debugging, pages 13--26, Sweden, May 1997.
Automatic Generation of Buffer Overflow Attack Signatures: An.. - Liang, Sekar (2005) (Correct)
No context found.
R. Jones and P. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Intl. Workshop on Automated Debugging, 1997.
AccMon: Automatically Detecting Memory-related.. - Zhou, Liu, Fei.. (2004) (2 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in c programs. In Automated and Algorithmic Debugging, 1997.
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
No context found.
Richard W. M. Jones and Paul H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proceedings of the 3rd International Workshop on Automatic Debugging, number 009-02 in Linkoping Electronic Articles in Computer and Information Science, pages 13--26, Linkoping, Sweden, 1997. Linkoping University Electronic Press. (Cited on pages 42, 43 and 61.)
First Steps Toward a Cryptography-Aware Language and Compiler - Barbosa, Noad, Page, Smart (2005) (Correct)
No context found.
R.W.M. Jones and P.H.J. Kelly. Backwards-compatible Bounds Checking for Arrays and Pointers in C Programs. In Workshop on Automated Debugging, 13--16, Linkoping University Electronic Press, 1997.
Enhancing Server Availability and Security through .. - Rinard, Cadar.. (2004) (3 citations) (Correct)
No context found.
R. Jones and P. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proceedings of Third International Workshop On Automatic Debugging, May 1997.
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Third International Workshop on Automated Debugging, 1997.
Using Execution Transactions To Recover From Buffer.. - Stelios Sidiroglou.. (2004) (1 citation) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Third International Workshop on Automated Debugging, 1997.
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Third International Workshop on Automated Debugging, 1997.
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Third International Workshop on Automated Debugging, 1997.
A Practical Dynamic Buffer Overflow Detector - Olatunji Ruwase Transmeta (2004) (10 citations) (Correct)
No context found.
R. Jones and P. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Proceedings of the International Workshop on Automatic Debugging, pages 13--26, May 1997.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
Richard Jones and Paul Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In AADEBUG'97. Third International Workshop on Automatic Debugging, volume 2(9) of Linkoping Electronic Articles in Computer and Information Science, Linkoping, Sweden, 1997.
Taming C Pointers - Necula, McPeak, Weimer (2002) (Correct)
No context found.
Richard W. M. Jones and Paul H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. AADEBUG, 1997.
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (63 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. AADEBUG, 1997.
CCured in the Real World - Jeremy Condit Matthew (2003) (13 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. AADEBUG, 1997.
ARCHER: Using Symbolic, Path-sensitive Analysis to Detect.. - Xie, Chou, Engler (2003) (Correct)
No context found.
R.W.M. Jones and P.H.J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In Automated and Algorithmic Debugging, pages 13--26, May 1997.
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