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

Jeanteur, Simon

  1. CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
    2023/05/20 by Simon Jeanteur, Laura Kovács, Jeanteur, Simon +5 · 1 citation
    Computer Science · #Advanced Authentication Protocols Security #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #Digital Rights Management and Security #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)