Braga, A., & 		Dahab, R.
(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>, (pp. 30-43). Porto Alegre: SBC.
doi:10.5753/sbseg.2015.20083