Prototyping Proof Carrying Code
- 21 February 2006
- book chapter
- Published by Springer Nature
- Vol. 155, 333-347
- https://doi.org/10.1007/1-4020-8141-3_27
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Certifying Machine Code Safety: Shallow Versus Deep EmbeddingPublished by Springer Nature ,2004
- A syntactic approach to foundational proof-carrying codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Program Extraction in Simply-Typed Higher Order LogicPublished by Springer Nature ,2003
- Foundational proof-carrying codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A certifying compiler for JavaPublished by Association for Computing Machinery (ACM) ,2000
- A semantic model of types and machine instructions for proof-carrying codePublished by Association for Computing Machinery (ACM) ,2000
- Proof Generation in the Touchstone Theorem ProverPublished by Springer Nature ,2000
- Proof Terms for Simply Typed Higher Order LogicPublished by Springer Nature ,2000
- From system F to typed assembly languagePublished by Association for Computing Machinery (ACM) ,1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997