Verification of Security Properties of Cryptographic Protocols

Simona Bernardi, Joaquín Ezpeleta

Developing cryptographic protocols that are free from vulnerabilities is very challenging, as evidenced by numerous design flaws and implementation bugs in widely used protocols. R…