BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Constructive Approach to Secure-Channel Protocols  - Bjorn Tackm
 ann\, University of California San Diego
DTSTART:20151209T110000Z
DTEND:20151209T120000Z
UID:TALK62823@talks.cam.ac.uk
CONTACT:44515
DESCRIPTION:Secure communication is the oldest and\, due to the ubiquity o
 f the Internet\, still one of the most widespread applications of cryptogr
 aphic techniques. The architecture of today’s Internet\, however\, was i
 nitially developed without security in mind\, and currently used security 
 protocols (such as TLS\, SSH\, or IPsec) were integrated retroactively int
 o the existing infrastructure. Concerns about both security and performanc
 e of these protocols have recently lead to the emergence of several new pr
 otocols such as MinimaLT\, QUIC\, and most prominently TLS 1.3\, which cur
 rently is in draft state.\n\nIn this talk\, we explore a novel approach to
 wards designing secure-channel protocols for the Internet setting. We star
 t by introducing the constructive cryptography paradigm pioneered by Maure
 r and Renner. Next\, we apply it to design a new secure-channel protocol. 
 We focus on simplicity\, security\, and performance at the cost of immedia
 te compatibility with existing infrastructure\, allowing ourselves to devi
 ate strongly from the design of existing protocols. \n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR