Tadeu Jenuario, João Otávio Chervinski, Giulliano Paz, and Diego Kreutz. 2019.
 Verificação Automática de Protocolos de Segurança com a ferramenta Scyther. In <em>Anais da XVII Escola Regional de Redes de Computadores</em>, setembro 16, 2019, Alegrete, Brasil. SBC, Porto Alegre, Brasil, 172-177. DOI: <a href="https://doi.org/10.5753/errc.2019.9233">https://doi.org/10.5753/errc.2019.9233</a>.