Provable Security in the Real World

Authors:
Jean Paul Degabriele;Kenny Paterson;Gaven Watson
Affiliations:
Royal Holloway, University of London;Royal Holloway, University of London;University of Calgary
Venue:
IEEE Security and Privacy
Year:
2011

Citing 0
Cited 1

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Provable security is sometimes portrayed as having revolutionized cryptography, transforming it from an art into a science. Three decades after its inception, is this transition complete? Are cryptanalysts out of business? If so, why do we still hear about attacks against real-world cryptographic systems?