Alexandre Braga and Ricardo Dahab. 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>, November 09, 2015, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 30-43. DOI: <a href="https://doi.org/10.5753/sbseg.2015.20083">https://doi.org/10.5753/sbseg.2015.20083</a>.