Issue No. 03 - May/June (2011 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MSP.2010.200
Jean Paul Degabriele , Royal Holloway, University of London
Kenneth G. Paterson , Royal Holloway, University of London
Gaven J. Watson , University of Calgary
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?
Provable security, secure protocols
J. P. Degabriele, K. G. Paterson and G. J. Watson, "Provable Security in the Real World," in IEEE Security & Privacy, vol. 9, no. , pp. 33-41, 2010.