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

Document Versions

A syntactic approach to foundational proof-carrying code –Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni — 2002 — In Seventeenth IEEE Symposium on Logic in Computer Science
A Syntactic Approach to Foundational Proof-Carrying Code –Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni — 2002 — In Seventeenth IEEE Symposium on Logic in Computer Science
A Syntactic Approach to Foundational Proof-Carrying Code –Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni — 2002 — In Seventeenth IEEE Symposium on Logic in Computer Science
A syntactic approach to foundational proof-carrying code –Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni — 2002 — In Seventeenth IEEE Symposium on Logic in Computer Science
A syntactic approach to foundational proof-carrying code –Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni — 2002 — In Seventeenth IEEE Symposium on Logic in Computer Science