Automated Verification of Equivalence Properties of Cryptographic Protocols.

Rohit Chadha, Stefan Ciobaca, Steve Kremer

Browse the full ESOP paper archive.