Braga, Alexandre, AND 		Dahab, Ricardo.
" A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (9 November 2015)