Carvalho, G., 		Souza Neto, T., & 		Sousa, T.
2023 Sep 18.  Automated security proof of SQUARE, LED and CLEFIA using the MILP technique. Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :