A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

Stéphanie Delaune, Lucca Hirschi

Cryptographic protocols aim at securing communications over insecure networks such as the Internet, where dishonest users may listen to communications and interfere with them. A se…