A. Braga and R. Dahab.
"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>, Florianópolis, 2015, pp. 30-43, doi: <a href="https://doi.org/10.5753/sbseg.2015.20083">https://doi.org/10.5753/sbseg.2015.20083</a>.