(Enter summary)
Abstract: This report is a byproduct of two meetings
of Study Group members and their invited
guests. Although this report was written by
two of the study group members, we believe
it represents an accurate distillation of the
ideas and insights of all the participants (Update)
Cited by: More
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005)
(Correct)
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003)
(Correct)
The Security of Remote Online Voting - Rubin
(Correct)
Similar documents (at the sentence level):
51.3%: Attacking Malicious Code: A Report to the Infosec Research.. - McGraw, Morrisett (2000)
(Correct)
Active bibliography (related documents): More All
0.3: Detecting Format String Vulnerabilities with Type.. - Shankar, Talwar, Foster.. (2001)
(Correct)
0.3: Improving Security Using Extensible Lightweight Static Analysis - Evans, Larochelle (2002)
(Correct)
0.2: Programming the Swarm - Evans (2000)
(Correct)
Similar documents based on text: More All
0.6: Computer Viruses: Prevention, Detection, and Treatment - Tinto (1989)
(Correct)
0.6: Secure Electronic Commerce - Weber (2000)
(Correct)
0.5: Malicious Code Outbreak Discovery: Issues and Approaches - Steven
(Correct)
Related documents from co-citation: More All
4: Polymorphic virus detection module (context) - Nachenberg - 1997
3: Stack-based typed assembly language
- Morrisett, Crary et al. - 1998
3: Using programmer-written compiler extensions to catch security holes
- Ashcraft, Engler - 2002
BibTeX entry: (Update)
Gary McGraw and Greg Morrisett. Attacking Malicious Code: A Report to the Infosec Research Council. IEEE Software, 17(5), September/October 2000. http://citeseer.ist.psu.edu/article/mcgraw00attacking.html More
@article{ mcgraw00attacking,
author = "Gary McGraw and Greg Morrisett",
title = "Attacking Malicious Code: {A} Report to the Infosec Research Council",
journal = "IEEE Software",
volume = "17",
number = "5",
month = "\slash",
pages = "33--41",
year = "2000",
url = "citeseer.ist.psu.edu/article/mcgraw00attacking.html" }
Citations (may not include all citations):
566
Proof-Carrying Code
- Necula - 1997
339
Efficient Software-Based Fault Isolation
- Wahbe - 1993
197
Dependent Types in Practical Programming
- Xi, Pfenning - 1999
194
The Protection of Information in Computer Systems (context) - Salzter, Schroeder - 1975
98
JFlow: Practical Mostly Static Information Flow Control
- Myers - 1999
81
SASI Enforcement of Security Policies: A Retrospective
- Erlingsson, Schneider - 1999
72
A First Step Towards Automated Detection of Buffer Overrun V..
- Wagner
66
Enforceable Security Policies
- Schneider - 2000
47
IRM Enforcement of Java Stack Inspection
- Erlingsson, Schneider - 2000
32
Securing Java: Getting Down to Business with Mobile Code (context) - McGraw, Felten - 1999
9
Differential Power Analysis: Leaking Secrets (context) - Kocher, Jaffee et al. - 1999
9
Policy-Directed Code Safety (context) - Evans, Twyman - 1999
8
From System-F to Typed Assembly Language
- Morrisett - 1999
3
ITS4: A Static Vulnerability Scanner for C and C++ Code (context) - Viega - 2000
The graph only includes citing articles where the year of publication is known.
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