Piątkowski J, Szymoniak S. Trivializing Verification of Cryptographic Protocols. CAMES. 2023;30(4):389–406. doi:10.24423/cames.869