A. M. Braga and R. Dahab. Towards a Methodology for the Development of Secure Cryptographic Software. Software Security and Assurance (ICSSA), 2016 International Conference on, August 2016.