Security Verification of Instant Messaging Cryptographic Protocols. - Gloria O. Olivares Ménez; Kevin Andrae Delgado-Vargas; Felipe Bernstein Mery; Gina Gallegos-García (WITCOM, 2023)