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