Piątkowski, J. and Szymoniak, S. 2023. Trivializing Verification of Cryptographic Protocols. Computer Assisted Methods in Engineering and Science. 30, 4 (Jan. 2023), 389–406. DOI:https://doi.org/10.24423/cames.869.