A Trustworthy Proof Checker (2002)

Cached

Download Links

by Andrew W. Appel , Neophytos Michael , Aaron Stump , Roberto Virga
Venue:IN ILIANO CERVESATO, EDITOR, WORKSHOP ON THE FOUNDATIONS OF COMPUTER SECURITY
Citations:31 - 7 self

Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
1111 Proof-Carrying Code – George C. Necula - 1997
478 Enforceable Security Policies – Fred B. Schneider
463 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004
232 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
AND THE COMMITTEE ON GRADUATE STUDIES – Aaron Stump, David L. Dill - 2002
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999