Carvalho, G., 		Souza Neto, T., & 		Sousa, T.
(2023).
 Automated security proof of SQUARE, LED and CLEFIA using the MILP technique.
In <em>Anais do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, (pp. 445-455). Porto Alegre: SBC.
doi:10.5753/sbseg.2023.232871