Carvalho, Gabriel, 		Souza Neto, Tertuliano, E 		Sousa, Thiago.
" Automated security proof of SQUARE, LED and CLEFIA using the MILP technique" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (18 setembro 2023)