Piątkowski J, Szymoniak S. Trivializing Verification of Cryptographic Protocols. CAMES [Internet]. 2023 Jan. 26 [cited 2025 Jan. 26];30(4):389–406. Available from: https://cames3.ippt.pan.pl/index.php/cames/article/view/869