Jürjens, Jan

1. Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
   2013/12/23 by Dupressoir, François, Gordon, Andrew D., Jürjens, Jan +1 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences