Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan 0001. Modelchecking Safety Properties in Randomized Security Protocols. In Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada, editors, Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Volume 12300 of Lecture Notes in Computer Science, pages 167-183, Springer, 2020. [doi]
Abstract is missing.