Gabriel Carvalho, Tertuliano Souza Neto, and Thiago Sousa. 2023. Automated security proof of SQUARE, LED and CLEFIA using the MILP technique. In Anais do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, setembro 18, 2023, Juiz de Fora/MG, Brasil. SBC, Porto Alegre, Brasil, 445-455. DOI: https://doi.org/10.5753/sbseg.2023.232871.