Publication

Equivalences and calculi for formal verification of cryptographic protocols