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