Jenuario, Tadeu, João Otávio Chervinski, Giulliano Paz, and Diego Kreutz.
"Verificação Automática de Protocolos de Segurança com a ferramenta Scyther." <em>Anais da XVII Escola Regional de Redes de Computadores,
Alegrete, 2019</em>. SBC, 2019,  
pp.172-177.