Carvalho, Gabriel, Tertuliano Souza Neto, and Thiago do Rêgo Sousa.
" Automated security proof of SQUARE, LED and CLEFIA using the MILP technique." <em>Proceedings of the 23rd Brazilian Symposium on Information and Computational Systems Security,
Juiz de Fora/MG, 2023</em>. SBC, 2023,  
pp.445-455.