PIĄTKOWSKI, Jacek; SZYMONIAK, Sabina. Trivializing Verification of Cryptographic Protocols. Computer Assisted Methods in Engineering and Science, [S. l.], v. 30, n. 4, p. 389–406, 2023. DOI: 10.24423/cames.869. Disponível em: https://cames3.ippt.pan.pl/index.php/cames/article/view/869. Acesso em: 26 jan. 2025.