Braga, Alexandre, E 		Dahab, Ricardo.
" A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (9 novembro 2015)