Piątkowski, Jacek, and Sabina Szymoniak. “Trivializing Verification of Cryptographic Protocols”. Computer Assisted Methods in Engineering and Science 30, no. 4 (January 26, 2023): 389–406. Accessed January 12, 2025. https://cames3.ippt.pan.pl/index.php/cames/article/view/869.