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