Carvalho, G., Souza Neto, T., & Sousa, T. (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, (pp. 445-455). Porto Alegre: SBC. doi:10.5753/sbseg.2023.232871