Modular Verification of Protocol Equivalence in the Presence of Randomness

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan 0001. Modular Verification of Protocol Equivalence in the Presence of Randomness. In Simon N. Foley, Dieter Gollmann, Einar Snekkenes, editors, Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I. Volume 10492 of Lecture Notes in Computer Science, pages 187-205, Springer, 2017. [doi]

Abstract

Abstract is missing.