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,security proofs, computer-aided cryptography, cryptographic libraries, formal methods, proof assistants, security
Gilles Barthe, "High-Assurance Cryptography: Cryptographic Software We Can Trust", IEEE Security & Privacy, vol. 13, no. , pp. 86-89, Sept.-Oct. 2015, doi:10.1109/MSP.2015.112