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 Cibersegurança (SBSeg). [Online] :