Issue No. 05 - Sept.-Oct. (2015 vol. 13)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MSP.2015.112
Gilles Barthe , IMDEA Software Institute
In response to recent cyberattacks, mathematicians, cryptographers, and security experts have advocated developing alternative approaches for building "high-assurance" cryptographic software. There's evidence that computer tools that deliver high-assurance cryptographic software are within our reach.
Cryptography, Software engineering, Algorithm design and analysis, Libraries, Computer security
G. Barthe, "High-Assurance Cryptography: Cryptographic Software We Can Trust," in IEEE Security & Privacy, vol. 13, no. 5, pp. 86-89, 2015.