Braga, A., & 		Dahab, R.
2015 nov  9.  A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :