CARVALHO, Gabriel Cardoso de; SOUZA NETO, Tertuliano; SOUSA, Thiago do Rêgo. Automated security proof of SQUARE, LED and CLEFIA using the MILP technique. In: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 23. , 2023, Juiz de Fora/MG. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2023 . p. 445-455. DOI: https://doi.org/10.5753/sbseg.2023.232871.