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