Darko Kirovski and Milenko Drinic and Miodrag Potkonjak  Home/Search
Context Related
| harvard.edu/cs253/...Kirovski02Spef.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: harvard.edu/cs253/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Preventing execution of unauthorized software on a given computer plays a pivotal role in system security. The key problem is that although a program at the beginning of its execution can be verified as authentic, while running, its execution flow can be redirected to externally injected malicious code using, for example, a bu#er overflow exploit. Existing techniques address this problem by trying to detect the intrusion at run-time or by formally verifying that the software is not prone to a... (Update)
Cited by: More
Architecture for Protecting Critical Secrets in Microprocessors - Ruby Lee Peter (Correct)
Minos: Control Data Attack Prevention Orthogonal to Memory Model - Crandall, Chong (2004) (Correct)
A Hardware-Software Platform for Intrusion Prevention - Milenko Drini And (Correct)
Similar documents (at the sentence level):
14.5%: Enabling Trusted Software Integrity - Kirovski, Drinic, Potkonjak (2003) (Correct)
Active bibliography (related documents): More All
0.5: Coping with Denial of Service due to Malicious Java Applets - Florio, Marchetti, Gorrieri (2000) (Correct)
0.3: Buffer Overflow and Format String Overflow Vulnerabilities - Lhee, Chapin (2002) (Correct)
0.3: Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
Similar documents based on text: More All
0.5: Behavioral Synthesis via Engineering Change - Drinic, Kirovski (2002) (Correct)
0.4: PPM Model Cleaning - Drinic, Kirovski, Potkonjak (2003) (Correct)
0.4: Model-Based Compression in Wireless Ad Hoc Networks - Drinic, Kirovski, Potkonjak (2003) (Correct)
Related documents from co-citation: More All
5: Architectural support for copy and tamper resistant software - Lie, Thekkath et al. - 2000
4: Stackguard: Automatic adaptive detection and prevention of buffer-overflow attac.. - Cowan, Pu et al. - 1998
3: Secure Program Execution via Dynamic Information Flow Tracking (context) - Suh, Lee et al. - 2003
BibTeX entry: (Update)
D. Kirovski, M. Drinic, and M. Potkonjak. Enabling Trusted Software Integrity. In Proceedings of ASPLOS, San Jose, CA, 2002, pp. 108-120. http://citeseer.ist.psu.edu/kirovski02enabling.html More
@misc{ kirovski02enabling,
author = "D. Kirovski and M. Drinic and M. Potkonjak",
title = "Enabling Trusted Software Integrity",
text = "D. Kirovski, M. Drinic, and M. Potkonjak. Enabling Trusted Software Integrity.
In Proceedings of ASPLOS, San Jose, CA, 2002, pp. 108-120.",
year = "2002",
url = "citeseer.ist.psu.edu/kirovski02enabling.html" }
Citations (may not include all citations):1065 Handbook of Applied Cryptography (context) - Menezes, Oorschot et al. - 1996
320 Mediabench: A tool for evaluating and synthesizing multimedi.. - Lee, Potkonjak et al. - 1997
175 A secure environment for untrusted helper applications - Goldberg, Wagner et al. - 1996
141 Stackguard: automatic adaptive detection and prevention of b.. - Cowan, Pu et al. - 1998
88 Static detection of dynamic memory errors - Evans - 1996
66 Smashing the stack for fun and profit (context) - One - 1996
64 Detecting format string vulnerabilities with type qualifiers - Shankar, Talwar et al. - 2001
63 LCLint: A tool for using specifications to check code - Evans, Guttag et al. - 1994
62 Intercepting mobile communications: the insecurity - Borisov, Goldberg et al. - 2001
34 Synthesizing fast intrusion preventiondetection system from .. - Uppuluri, intrusion et al. - 1999
31 A first step towards automated detection of bu#er overrun vu.. (context) - Wagner, Foster et al. - 2000
24 Support for speculative execution in high-performance proces.. (context) - Smith - 1992
13 Statically detecting likely bu#er overflow vulnerabilities (context) - Larochelle, Evans - 2001
11 IEEE Internet Computing (context) - Rubin, Geer et al. - 1998
10 cient algorithm for exploiting multiple arithmetic units (context) - Tomasulo - 1967
9 Unix Programmer's Manual (context) - Johnson, checker - 1978
8 host-based intrusion detection system (context) - Chari, Cheng et al. - 2002
8 password cracking: a game of wits (context) - Seeley, worm - 1989
6 System BIOS for IBM PCs (context) - Ltd - 1991
6 Omega - a data flow analysis tool for the C programming lang.. (context) - Wilson, Osterweil - 1985
6 er overflows: attacks and defenses for the vulnerability of .. (context) - Cowan, Wagle et al. - 2000
2 Network and Distributed System Security (context) - Martin, Rajagopalan et al. - 1997
1 USENIX Security Symposium (context) - Chen, Wagner et al. - 2002
1 Symposium on Principles of Programming Languages (context) - Necula - 1997
http://www.intel.com
http://www.arm.com
http://www.sci-worx.com
http://www.acl.lanl.gov/linuxbios
http://www.zeroknowledge.com/p3/home.asp
Documents on the same site (http://www.eecs.harvard.edu/cs253/papers/): More
Dynamo: A Transparent Dynamic Optimization System - Bala, Duesterwald, Banerjia (2000) (Correct)
A Secure Environment for Untrusted Helper.. - Goldberg, Wagner.. (1996) (Correct)
An Infrastructure for Adaptive Dynamic Optimization - Bruening, Garnett, Amarasinghe (2003) (Correct)
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