A Proof-Carrying Code Architecture for Java (2000)
by
Christopher Colby
,
Peter Lee
,
George C. Necula
| Venue: | In Computer Aided Verification |
| Citations: | 11 - 0 self |
BibTeX
@INPROCEEDINGS{Colby00aproof-carrying,
author = {Christopher Colby and Peter Lee and George C. Necula},
title = {A Proof-Carrying Code Architecture for Java},
booktitle = {In Computer Aided Verification},
year = {2000},
pages = {557--560},
publisher = {Springer-Verlag LNCS}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we describe a PCC architecture comprising two tools:
Citations
| 1016 | Proof-carrying code - NECULA - 1997 |
| 381 | Safe Kernel Extensions without Run-time Checking - Necula, Lee |
| 245 | The design and implementation of a certifying compiler - Necula, Lee - 1998 |
| 128 | Compiling with Proofs - Necula - 1998 |
| 91 | The ZINC Experiment: An Economical Implementation of the ML Language - Leroy - 1990 |
| 85 | untrusted agents using proof-carrying code - Safe |
| 57 | A framework for de logics - Harper, Honsell, et al. - 1993 |
| 1 | Necula and Shree P. Rahul. Oracle-based checking of untrusted software - George - 1999 |
