Carvalho, Gabriel, Tertuliano Souza Neto, and Thiago do Rêgo Sousa.
" Automated security proof of SQUARE, LED and CLEFIA using the MILP technique." <em>Anais do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Juiz de Fora/MG, 2023</em>. SBC, 2023,  
pp.445-455.