Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermin Reig, Ning Wang  Home/Search
Context Related
| uci.edu/~haldar/pubs/ivme03.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: uci.edu/~haldar/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Virtual Machines (VMs) and Proof-Carrying Code (PCC) are two techniques that have been used independently to provide safety for (mobile) code. Existing virtual machines, such as the Java VM, have several drawbacks: First, the e#ort required for safety verification is considerable. Second and more subtly, the need to provide such verification by the code consumer inhibits the amount of optimization that can be performed by the code producer. This in turn makes justin -time compilation... (Update)
Cited by: More
Safe Code - It's Not Just For Applets Anymore - Franz (Correct)
Active bibliography (related documents): More All
1.3: A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
0.2: Verifying Data Flow Optimization for Just-in-Time Compilation - Haldar (2002) (Correct)
0.1: On Certain Basic Properties of Component-Oriented Programming .. - Fröhlich, Franz (2001) (Correct)
Similar documents based on text: More All
0.3: Semantic Remote Attestation - A Virtual Machine directed.. - Haldar, Chandra, Franz (Correct)
0.2: Project transPROSE: Reconciling Mobile-Code.. - Amme, Housel.. (2001) (Correct)
0.2: Generic Adaptive Syntax-Directed Compression for Mobile Code - Stork, Haldar, Franz (2000) (Correct)
BibTeX entry: (Update)
Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermin Reig, and Ning Wang. A portable virtual machine target for proof-carrying code. In Proceedings of the ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators (IVME03), San Diego, California, June 2003. http://citeseer.ist.psu.edu/article/franz03portable.html More
@misc{ franz03portable,
author = "M. Franz and D. Chandra and A. Gal and V. Haldar and F. Reig and N. Wang",
title = "A portable virtual machine target for proof-carrying code",
text = "Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermin Reig,
and Ning Wang. A portable virtual machine target for proof-carrying code.
In Proceedings of the ACM SIGPLAN 2003 Workshop on Interpreters, Virtual
Machines and Emulators (IVME03), San Diego, California, June 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/franz03portable.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997
201 to typed assembly language (context) - Greg, David et al. - 1998
65 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
58 Foundational proof-carrying code - Appel - 2001
43 Java and the Java Virtual Machine: definition (context) - Stark, Schmid et al. - 2001
38 SafeTSA: A type safe and referentially secure mobile-code re.. - Amme, Dalton et al. - 2001
29 Oracle-based checking of untrusted software - Necula, Rahul - 2001
11 Limited Device Configuration (context) - Inc - 2000
10 LLVM: An infrastructure for multi-stage optimization - Lattner - 2000
8 The Design of the Inferno virtual machine - Winterbottom, Pike - 1997
8 cient and language independent mobile programs (context) - Lucco, Adl-Tabatabai et al. - 1996
7 Project transprose : Reconciling mobile-code security with e.. - Amme, Dalton et al. - 2001
6 The source is the proof - Haldar, Stork et al. - 2002
4 Common Language Infrastructure (context) - IEC - 2002
4 bizaux fileIntroduction to intent Technology (context) - Intent, at et al. - 2002
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