BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Practice-Driven Cryptographic Theory - Ristenpart\, T (Wisconsin\,
  Madison)
DTSTART:20120202T090000Z
DTEND:20120202T094500Z
UID:TALK36126@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:Cryptographic standards abound: TLS\, SSH\, IPSec\, XML Encryp
 tion\, PKCS\, and so many more. In theory the cryptographic schemes used w
 ithin these standards solve well understood problems\, yet a parade of dam
 aging attacks leave us with the question: What gives? Theoreticians often 
 suggest (at least in private) that the problems are well-understood and at
 tacks arise because standardizers misunderstand cryptographic theory. I'll
  use some of my recent work which uses provable-security techniques to ana
 lyze important standards (including TLS\, HMAC\, and PKCS#5) to argue that
 \, just as often\, it is the theoreticians who don't have all the answers:
  analyzing practically-useful cryptography requires pushing models and pro
 of techniques in never-before-considered directions. We'll see how (what I
 'll call) practice-driven cryptographic theory can lead to new understandi
 ng and improved confidence in cryptographic practice.\n     This talk will
  cover joint work with Mihir Bellare\,  Yevgeniy Dodis\, Kenneth Paterson\
 , Thomas Shrimpton\,  Neils Fergeson\,  John Steinberger\, and Stefano Tes
 saro.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR