BRAGA, Alexandre; 						DAHAB, Ricardo.
 A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software. <em>In</em>: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 15.	, 2015, Florianópolis.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2015
.
 p. 30-43. 
		DOI: <a href="https://doi.org/10.5753/sbseg.2015.20083">https://doi.org/10.5753/sbseg.2015.20083</a>.