Static Verification of Dynamic Checks Ajay Chander, David Espinosa, and...  Home/Search
Context
Related
| cmu.edu/%7Epetel/publica...toplas06.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: cmu.edu/%7Epetel/publicat...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we provide an e#cient and flexible approach to limiting the resource usage of untrusted code. By flexible, we mean that our method applies to all sequential computer programs, including those where resource usage is not known until runtime. By e#cient, we mean that it enforces resource quotas with significantly fewer runtime checks than previous methods based exclusively on dynamic checking (Update)
Active bibliography (related documents): More All
0.1: Termination and Rollback in Language-Based Systems - Rudys (2002) (Correct)
0.1: Garbage Collector Memory Accounting in Language-Based Systems - Price, Rudys, Wallach (2002) (Correct)
0.1: Detecting Malicious Java Code Using Virtual Machine Auditing - Soman, Krintz, Vigna (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ of-enforcing,
author = "Static Verification Of",
title = "Enforcing Resource Bounds via",
url = "citeseer.ist.psu.edu/751345.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
566 Proof-carrying code - Necula - 1996
295 PVS: A prototype verification system (context) - Owre, Rushby et al. - 1992
229 Foundations for Programming Languages (context) - Mitchell - 1996
154 Simplification by cooperating decision procedures (context) - Nelson, Oppen - 1979
140 Extended static checking for Java - Flanagan, Leino et al. - 1999
81 SASI enforcement of security policies: a retrospective - Erlingsson, Schneider - 1999
75 Flexible policy-directed code safety - Evans, Twyman - 1999
64 JRes: a resource accounting interface for Java - Czajkowski, von Eicken - 1998
55 Resource bound certification - Crary, Weirich - 2000
51 annotation assistant ESCJava (context) - Leino, annotation et al. - 2021
40 Optimizing array bound checks using flow analysis - Gupta - 1993
29 Oracle-based checking of untrusted software - Necula, Rahul - 2001
22 Simplify: a theorem prover for program checking - Detlefs, Nelson et al. - 2003
18 Java-MaC: a run-time assurance tool for Java programs - Kim, Kannan et al. - 2001
15 Enforcing trace properties by program transformation - Colcombet, Fradet - 2000
8 Mobile code security by Java bytecode instrumentation - Chander, Mitchell et al. - 2001
1 Java Tar 2 (context) - Endres - 2003
Documents on the same site (http://www.cs.cmu.edu/%7Epetel/publications/index.html): More
Cover Feature - High-Confidence Medical Device (Correct)
Dynamic specialization in the Fabius system - Mark Leone And (1998) (Correct)
Inferring Invariants in Separation Logic for Imperative - List-Processing Programs.. (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