Gabriel Carvalho, Tertuliano Souza Neto, and Thiago Sousa. 2023.
 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>, September 18, 2023, Juiz de Fora/MG, Brasil. SBC, Porto Alegre, Brasil, 445-455. DOI: <a href="https://doi.org/10.5753/sbseg.2023.232871">https://doi.org/10.5753/sbseg.2023.232871</a>.