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