G. Carvalho, T. Souza Neto, and T. Sousa.
" Automated security proof of SQUARE, LED and CLEFIA using the MILP technique", in <em>Proceedings of the 23rd Brazilian Symposium on Information and Computational Systems Security</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>.