{"controller"=>"catalog", "action"=>"show", "id"=>"9130390"}
  • EN
  • DA

Danish NationalResearch Database

  • Search Publications & Researchers
  • Open Access Indicator
  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the prase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
Need more help? Advanced search tutorial
  • Selected (0)
  • History

A portable virtual machine target for proof-carrying code

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Franz, Michael ;
    Close
    University of California, Irvine
  • Chandra, Deepak ;
    Close
    University of California, Irvine
  • Gal, Andreas ;
    Close
    University of California, Irvine
  • Haldar, Vivek ;
    Close
    University of California, Irvine
  • Probst, Christian W. ;
    Close
    Orcid logo0000-0002-4947-355X
    Department of Informatics and Mathematical Modeling, Technical University of Denmark
  • Reig, Fermin ;
    Close
    University of Nottingham
  • Wang, Ning
    Close
    University of California, Irvine
DOI:
10.1016/j.scico.2004.09.001
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 effort 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 surprisingly expensive. Proof-Carrying Code, on the other hand, has its own set of limitations, among which are the sizes of the proofs and the fact that the certified code is no longer machine-independent. In this paper, we describe work in progress on combining these approaches. Our hybrid safe-code solution uses a virtual machine that has been designed specifically to support proofcarrying code, while simultaneously providing efficient justin-time compilation and target-machine independence. In particular, our approach reduces the complexity of the required proofs, resulting in fewer proof obligations that need to be discharged at the target machine.
Type:
Journal article
Language:
English
Published in:
Science of Computer Programming, 2005, Vol 57, Issue 3, p. 275-294
Keywords:
Main Research Area:
Science/technology
Publication Status:
Published
Review type:
Peer Review
Submission year:
2005
Scientific Level:
Scientific
ID:
9130390

Full text access

  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institution

  • Technical university of dk
Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • Open Access
    • Overview
    • Development
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and privacy policy

Copyright © 1998–2018.

Fivu en