Carvalho, Gabriel, 		Souza Neto, Tertuliano, AND 		Sousa, Thiago.
" Automated security proof of SQUARE, LED and CLEFIA using the MILP technique" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (18 September 2023)