A. Braga and R. Dahab. A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software. SBSeg 2015, November 2015.