Maia Neto, Antonio, Ítalo Cunha, and Leonardo B. Oliveira.
" Uma Extensão de Framework de Análise de Protocolos de Composibilidade Universal para Acordo de Chaves com Autenticação Baseado em Identidade." <em>Anais do XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Belém, 2021</em>. SBC, 2021,  
pp.141-154.