Alexandre Braga and Ricardo Dahab. 2015.
 A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software. In <em>Anais do XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, novembro 09, 2015, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 30-43. DOI: <a href="https://doi.org/10.5753/sbseg.2015.20083">https://doi.org/10.5753/sbseg.2015.20083</a>.