Abstract:
In response to recent cyberattacks, mathematicians, cryptographers, and security experts have advocated developing alternative approaches for building "high-assurance" cr...Show MoreMetadata
Abstract:
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.
Published in: IEEE Security & Privacy ( Volume: 13, Issue: 5, Sept.-Oct. 2015)
DOI: 10.1109/MSP.2015.112
Contents 