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