Piątkowski J, Szymoniak S. Trivializing Verification of Cryptographic Protocols. Comp. Assist. Methods Eng. Sci. [Internet]. 2023 Dec. 31 [cited 2026 Apr. 20];30(4):389–406. Available from: http://cames.ippt.gov.pl/index.php/cames/article/view/869