Model Checking Indistinguishability of Randomized Security Protocols.

Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Browse the full CAV paper archive.