Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR.

Jannik Dreier Lucca Hirschi Sasa Radomirovic Ralf Sasse

Published in: CSF (2018)

Keyphrases

cryptographic protocols
standard model
security properties
security protocols
authentication protocol
knn
anomaly detection
data access
formal verification