Model checking indistinguishability of randomized security protocols

DOI10.1007/978-3-319-96142-2_10zbMath1511.68148MaRDI QIDQ6039398

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

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Randomized algorithms (68W20) Computer security (68M25)

This page was built for publication: Model checking indistinguishability of randomized security protocols