Braga, Alexandre, and Ricardo Dahab.
" A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software." <em>Proceedings of the 15th Brazilian Symposium on Information and Computational Systems Security,
Florianópolis, 2015</em>. SBC, 2015,  
pp.30-43.