A Constructive Approach to Secure-Channel Protocols

Add to your list(s) Download to your calendar using vCal

• Bjorn Tackmann, University of California San Diego
• Wednesday 09 December 2015, 11:00-12:00
• Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

If you have a question about this talk, please contact lecturescam.

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

Secure communication is the oldest and, due to the ubiquity of the Internet, still one of the most widespread applications of cryptographic techniques. The architecture of today’s Internet, however, was initially developed without security in mind, and currently used security protocols (such as TLS , SSH, or IPsec) were integrated retroactively into the existing infrastructure. Concerns about both security and performance of these protocols have recently lead to the emergence of several new protocols such as MinimaLT, QUIC , and most prominently TLS 1 .3, which currently is in draft state.

In this talk, we explore a novel approach towards designing secure-channel protocols for the Internet setting. We start by introducing the constructive cryptography paradigm pioneered by Maurer and Renner. Next, we apply it to design a new secure-channel protocol. We focus on simplicity, security, and performance at the cost of immediate compatibility with existing infrastructure, allowing ourselves to deviate strongly from the design of existing protocols.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.