Login / Signup
TAPS: A First-Order Verifier for Cryptographic Protocols.
Ernie Cohen
Published in:
CSFW (2000)
Keyphrases
</>
cryptographic protocols
first order logic
standard model
security properties
authentication protocol
real time
security protocols
formal verification
frequency response
locally decodable codes