Modular Verification of Protocol Equivalence in the Presence of Randomness.

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

Browse the full ESORICS paper archive.