MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proof-Carrying Code." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 624 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Prototyping Proof Carrying Code  
  • by Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz — 2004 — Exploring New Frontiers of Theoretical Informatics
  • …PROTOTYPING PROOF CARRYING CODE Martin Wildmoser, Tobias Nipkow Institut für Informatik…
  • Cited by 8 (2 self) – Add To MetaCart
  • Proof-carrying code with untrusted proof rules  
  • by George C. Necula, Robert R. Schneck — 2003 — Software Security – Theories and Systems, Mext-NSF-JSPS International Symposium (ISSS), volume 2609 of LNCS
  • … Symposium, 2002, pages 283–298. Proof-Carrying Code with Untrusted Proof Rules George C. Necula 1 and Robert…
  • Cited by 4 (0 self) – Add To MetaCart
  • An open framework for foundational proof-carrying code  
  • by Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo — 2007 — In Proc. the 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’07
  • …An Open Framework for Foundational Proof-Carrying Code Xinyu Feng † Zhaozhong Ni † Zhong Shao † Yu…
  • Cited by 8 (3 self) – Add To MetaCart
  • An Open Framework for Foundational Proof-Carrying Code  
  • by Xinyu Feng Zhaozhong, Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo — 2007 — In Proc. the 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’07
  • …An Open Framework for Foundational Proof-Carrying Code Xinyu Feng † Zhaozhong Ni † Zhong Shao † Yu…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB