CARVALHO, Gabriel Cardoso de; 						SOUZA NETO, Tertuliano; 						SOUSA, Thiago do Rêgo.
 Automated security proof of SQUARE, LED and CLEFIA using the MILP technique. <em>In</em>: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 23.	, 2023, Juiz de Fora/MG.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2023
.
 p. 445-455. 
		DOI: <a href="https://doi.org/10.5753/sbseg.2023.232871">https://doi.org/10.5753/sbseg.2023.232871</a>.