Gabriel Carvalho, Tertuliano Souza Neto, and Thiago Sousa. 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>, setembro 18, 2023, Juiz de Fora/MG, Brasil. SBC, Porto Alegre, Brasil, 445-455. DOI: <a href="https://doi.org/10.5753/sbseg.2023.232871">https://doi.org/10.5753/sbseg.2023.232871</a>.