Towards a Methodology for the Development of Secure Cryptographic Software | IEEE Conference Publication | IEEE Xplore