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