Login / Signup
Automated Verification of Equivalence Properties of Cryptographic Protocols.
Rohit Chadha
Vincent Cheval
Stefan Ciobaca
Steve Kremer
Published in:
ACM Trans. Comput. Log. (2016)
Keyphrases
</>
cryptographic protocols
automated verification
formal verification
model checking
automated reasoning
security properties
low cost
authentication protocol
computer systems