T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, Monterey, CA, June 2002. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Pointer-Range Analysis - Yong, Horwitz (2004) (1 citation) (Correct)
Reducing the Overhead of Dynamic Analysis - Yong, Horwitz (2002) (1 citation) (Correct)
A Rationale for Semantically Enhanced Library Languages - Stroustrup (2005) (Correct)
USENIX Association - Usits Th Usenix (1992) (2 citations) (Correct)
Enhancing Security through Hardware-assisted Run-time .. - Arora, Raghunathan.. (2005) (Correct)
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - Services Richard West (2005) (Correct)
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
A Methodology for Designing Countermeasures Against.. - Younan, Joosen, Piessens (2004) (Correct)
A Survey of Kernel-Middleware Interaction in Support of.. - McKinley (2004) (Correct)
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
Efficient Techniques for Comprehensive Protection from.. - Bhatkar, Sekar, DuVarney (2005) (2 citations) (Correct)
Buffer Overflow and Format String Overflow Vulnerabilities - Lhee, Chapin (2002) (Correct)
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
Fast and Automated Generation of Attack Signatures: A Basis.. - Liang, Sekar (2005) (1 citation) (Correct)
Automatic Generation of Buffer Overflow Attack Signatures: An.. - Liang, Sekar (2005) (Correct)
Hardware and Binary Modification Support for Code Pointer .. - Tuck, Calder, Varghese (2004) (2 citations) (Correct)
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
A Methodology for Designing Countermeasures Against.. - Younan, Joosen, Piessens (2005) (Correct)
Building a Reactive Immune System for Software Services - Sidiroglou, Locasto.. (2004) (5 citations) (Correct)
Friendly Virtual Machines - Leveraging a.. - Zhang, Bestavros, .. (2004) (Correct)
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
An Efficient User-Level Shared Memory Mechanism for.. - West, Gloudon, Qi.. (2005) (Correct)
Friendly Virtual Machines - Leveraging a.. - Zhang, Bestavros, .. (2004) (Correct)
An Efficient User-Level Shared Memory Mechanism for - Application-Specific.. (2005) (Correct)
Enhancing Server Availability and Security through .. - Rinard, Cadar.. (2004) (3 citations) (Correct)
Institut Fr - Technische Informatik Und (Correct)
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
Using Execution Transactions To Recover From Buffer.. - Stelios Sidiroglou.. (2004) (1 citation) (Correct)
Scriptroute: A Public Internet Measurement Facility - Neil Spring David (2002) (14 citations) (Correct)
The OKE Corral: Code Organisation and Reconfiguration at.. - Bos, Samwel (2002) (4 citations) (Correct)
Safe Execution of Untrusted Applications on.. - Bos, Samwel.. (Correct)
Unknown - Like The Previous (Correct)
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
Hybrid Resource Control for Fast-Path Active Extensions - Patel (2003) (Correct)
Scriptroute: A Public Internet Measurement Facility - Neil Spring David (2002) (14 citations) (Correct)
A Generic Version of scanf Programmed in C5 - Cabezas (Correct)
A Practical Dynamic Buffer Overflow Detector - Olatunji Ruwase Transmeta (2004) (10 citations) (Correct)
Global Analysis and Transformations in Preprocessed Languages - Spinellis (2003) (Correct)
Combining Monitors for Runtime System Verification - Levy, Saïdi, Uribe (2002) (Correct)
Declaring and Checking Non-null Types in an Object-Oriented.. - Fähndrich, Leino (2003) (2 citations) (Correct)
Thread Migration/Checkpointing for Type-Unsafe C Programs - Jiang, Chaudhary (2003) (Correct)
TCP Meets Mobile Code - Parveen Patel David (2003) (Correct)
Static Tokens: Using Dataflow to Automate Concurrent Pipeline .. - Teifel, Manohar (2004) (1 citation) (Correct)
Pluggable Verification Modules: An Extensible Protection Mechanism .. - Fong (2004) (1 citation) (Correct)
Prospectus - Student Nadeem Abdul (Correct)
HOKES/POKES: Light-weight resource sharing - Bos, Samwel (Correct)
Implementation and Performance Evaluation of a Safe Runtime.. - Fluet, Wang (2004) Self-citation (Wang) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) Self-citation (Grossman) (Correct)
First 50 documents Next 50
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