Robert R. Schneck, Ph.D.
Affiliations: | 2004 | University of California, Berkeley, Berkeley, CA, United States |
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysisGoogle:
"Robert Schneck"Parents
Sign in to add mentorGeorge Necula | grad student | 2004 | UC Berkeley | |
(Extensible untrusted code verification.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Chang BYE, Chlipala A, Necula GC, et al. (2005) Type-based verification of assembly language for compiler debugging Proceedings of the Tldi'05: 2005 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 91-102 |
Chang BYE, Necula GC, Chlipala A, et al. (2005) The open verifier framework for foundational verifiers Proceedings of the Tldi'05: 2005 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 1-12 |
Necula GC, Schneck RR. (2003) Proof-carrying code with untrusted proof rules Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2609: 283-298 |
Necula GC, Schneck RR. (2003) A sound framework for untrusted verification-condition generators Proceedings - Symposium On Logic in Computer Science. 248-260 |
Schneck RR, Necula GC. (2002) Gradual approach to a more trustworthy, yet scalable, proof-carrying code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2392: 47-62 |