vix.ing · top · new · best · stats · spec

Dupressoir, François

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