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