Verification of stateful cryptographic protocols with exclusive OR.

Jannik Dreier Lucca Hirschi Sasa Radomirovic Ralf Sasse

Published in: J. Comput. Secur. (2020)

Keyphrases

cryptographic protocols
standard model
security properties
security protocols
formal verification
authentication protocol
real time
publish subscribe
private information retrieval
lightweight
information sharing
logical operations