Braga, A., & 		Dahab, R.
(2015).
 A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software.
In <em>Proceedings of the 15th Brazilian Symposium on Information and Computational Systems Security</em>, (pp. 30-43). Porto Alegre: SBC.
doi:10.5753/sbseg.2015.20083