• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 49 matches

• 2019
• 
  Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster:
  Proof-Carrying Network Code. CCS 2019: 1115-1129
• 2018
• 
  Jérémy Buisson, Seidali Rehab:
  Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code. MISC 2018: 259-273
• 2014
• 
  Julien Vanegue:
  The Weird Machines in Proof-Carrying Code. IEEE Symposium on Security and Privacy Workshops 2014: 209-213
• 2013
• 
  Wei Bai, Emmanuel M. Tadjouddine, Terry R. Payne, Sheng-Uei Guan:
  A Proof-Carrying Code Approach to Certificate Auction Mechanisms. FACS 2013: 23-40
• 2012
• 
  Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron:
  Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. CDC 2012: 1816-1821
• 2011
• 
  Frank Pfenning, Luís Caires, Bernardo Toninho:
  Proof-Carrying Code in a Session-Typed Process Calculus. CPP 2011: 21-36
• 
  Jiangong Weng, Amy P. Felty:
  An implementation of a verification condition generator for foundational proof-carrying code. PST 2011: 238-245
• 
  Stephanie Drzevitzky, Marco Platzner:
  Achieving hardware security for reconfigurable systems on chip by a proof-carrying code approach. ReCoSoC 2011: 1-8
• 
  George C. Necula:
  Proof-Carrying Code. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 984-986
• 2010
• 
  Heidar Pirzadeh, Danny Dubé, Abdelwahab Hamou-Lhadj:
  An Extended Proof-Carrying Code Framework for Security Enforcement. Trans. Comput. Sci. 11: 249-269 (2010)
• 
  Mads Dam, Andreas Lundblad:
  A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode. CoRR abs/1012.2995 (2010)
• 2009
• 
  Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer:
  A Proof-Carrying-Code Infrastructure for Resources. LADC 2009: 127-134
• 2008
• 
  Heidar Pirzadeh, Danny Dubé:
  VEP: a virtual machine for extended proof-carrying code. VMSec 2008: 9-18
• 
  João Gomes, Daniel Martins, Simão Melo de Sousa, Jorge Sousa Pinto:
  Lissom, a Source Level Proof Carrying Code Platform. CoRR abs/0803.2317 (2008)
• 2007
• 
  Amy P. Felty:
  Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code. Fundam. Informaticae 77(4): 303-330 (2007)
• 
  Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua:
  Garbage Collector Verification for Proof-Carrying Code. J. Comput. Sci. Technol. 22(3): 426-437 (2007)
• 
  Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie:
  The MOBIUS Proof Carrying Code Infrastructure. FMCO 2007: 1-24
• 
  Nadeem Abdul Hamid:
  Integrating a certified memory management runtime with proof-carrying code. SAC 2007: 1526-1533
• 
  Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo:
  An open framework for foundational proof-carrying code. TLDI 2007: 67-78
• 2006
• 
  Martin Wildmoser:
  Verified proof carrying code. Technical University Munich, Germany, 2006, pp. 1-196
• 
  Frédéric Besson, Thomas P. Jensen, David Pichardie:
  Proof-carrying code from certified abstract interpretation and fixpoint compression. Theor. Comput. Sci. 364(3): 273-291 (2006)
• 2005
• 
  Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang:
  A portable virtual machine target for proof-carrying code. Sci. Comput. Program. 57(3): 275-294 (2005)
• 
  Nadeem Abdul Hamid:
  Certified memory management for proof-carrying code: a region-based type system and runtime library. ACM Southeast Regional Conference (2) 2005: 248-249
• 
  Amy P. Felty:
  A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. RTA 2005: 394-406
• 
  Amy P. Felty:
  A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract. TLCA 2005: 10-10
• 
  Martin Wildmoser, Amine Chaieb, Tobias Nipkow:
  Bytecode Analysis for Proof Carrying Code. Bytecode@ETAPS 2005: 19-34
• 2004
• 
  Nathan Whitehead, Martín Abadi, George C. Necula:
  By Reason and Authority: A System for Authorization of Proof-Carrying Code. CSFW 2004: 236-250
• 
  Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz:
  Prototyping Proof Carrying Code. IFIP TCS 2004: 333-347
• 
  J. Gregory Morrisett:
  Invited talk: what's the future for proof-carrying code? PEPM 2004: 203
• 
  J. Gregory Morrisett:
  Invited talk: what's the future for proof-carrying code? PPDP 2004: 5

skipping 19 more matches