G. Carvalho, T. Souza Neto, and T. Sousa.
" 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>, Juiz de Fora/MG, 2023, pp. 445-455, doi: <a href="https://doi.org/10.5753/sbseg.2023.232871">https://doi.org/10.5753/sbseg.2023.232871</a>.