J. Piątkowski and S. Szymoniak, “Trivializing Verification of Cryptographic Protocols”, CAMES, vol. 30, no. 4, pp. 389–406, Jan. 2023, doi: 10.24423/cames.869.