Carvalho, G., 		Souza Neto, T., & 		Sousa, T.
2023 set 18.  Automated security proof of SQUARE, LED and CLEFIA using the MILP technique. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :