High-Assurance Cryptography: Cryptographic Software We Can Trust
Gilles Barthe · IEEE Security & Privacy · 2015
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.