A syntactic approach to foundational proof-carrying code (2002)

by Nadeem A. Hamid , Zhong Shao , Valery Trifonov , Stefan Monnier , Zhaozhong Ni
Venue:In Seventeenth IEEE Symposium on Logic in Computer Science
Citations:94 - 19 self

Active Bibliography

High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
Modular Machine Code Verification – Zhaozhong Ni - 2007
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
7 Extensible Untrusted Code Verification – Robert Richard Schneck, Robert Richard Schneck - 2004
23 Interfacing hoare logic and type systems for foundational proof-carrying code – Nadeem Abdul Hamid, Zhong Shao - 2004
4 An Open Framework for Certified System Software – Xinyu Feng - 2008
33 Building Certified Libraries for PCC: Dynamic Storage Allocation – Dachuan Yu, Nadeem A. Hamid, Zhong Shao - 2003
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
40 A Provably Sound TAL for Back-end Optimization – Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang - 2003
14 Construction of a Semantic Model for a Typed Assembly Language – Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu - 2004
Recommended for Acceptance – Foundational Proof-carrying Code, Gang Tan
7 Semantic foundations for typed assembly languages – Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang - 2008
1 An untrusted verifier for typed assembly language – Adam Chlipala, Adam Chlipala - 2004
5 A Metalogical Approach to Foundational Certified Code – Karl Crary, Susmit Sarkar - 2003
5 Automated Techniques for Provably Safe Mobile Code – Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning - 2000
2 Static Enforcement of Timing Policies Using Code Certification – C. Joseph Vanderwaart, Robert Haper, Peter Lee - 2006
1 Statically tracking state with typed regions – Stefan Monnier - 2008
6 Typed compilation against non-manifest base classes – Christopher League, Stefan Monnier - 2006
Prospectus – Student Nadeem Abdul, Abdul Hamid, Committee Arvind Krishnamurthy, Carsten Schurmann Yale, Peter Lee Cmu