Program

 

Monday

Tuesday

Wednesday

07:30-08:45

Breakfast

Breakfast

Breakfast

09:00-09:40

Tibor Jager

Tightly-Secure Key Exchange


Douglas Stebila

Provable security of advanced properties of TLS and SSH

Felix Günther

Multi-Stage Key Exchange



09:40-10:20

Colin Boyd

Computational models for key exchange: history and current status

Ran Canetti

UC authentication and key exchange with global PKI


Benedikt Schmidt

Verified Proofs of Key Exchange Protocols under Weaker Assumptions

10:20-10:50

Coffee Break

Coffee break

Coffee break

10:50-11:30

Christina Brzuska

Composability of Game-Based Key Exchange Protocols

Cédric Fournet

How Secure is TLS?



Jean Lancrenon

Studying the security of J-PAKE


11:30-12:10

Gaven Watson

On the Interplay between Key Confirmation and Entity Authentication

Markulf Kohlweiss

Modelling and Verifying the TLS Handshake (as it is)


 

12:30-13:30

Lunch

Lunch

Lunch

14:30-15:10

Bjoern Tackmann

A Constructive Perspective on Secure Channels

Santiago Zanella-Béguelin

A Modular Analysis of the TLS Handshake

 

15:10-15:50

Peter Y A Ryan

QuAKEs: Explorations in Authenticated Quantum Key Establishment Protocols

Bertram Poettering

Aspects of security models for key exchange, certification, and channels

 

15:50-16:30

Sasha Boldyreva

Provable security analysis of QUIC

Hugo Krawczyk

Key Exchange Rants


 

16:30-17:00

Coffee Break

Coffee Break

 

17:00-17:40

Mark Manulis

Zero-Knowledge Policy Checks for Passwords and Verifier-Based PAKE

 

Potential Panel discussion

 

 

17:40-18:20

Hoeteck Wee

On the Security of the TLS Protocol: A Systematic Analysis

(lead by Nigel Smart)

 

 

 

20:00

Dinner

Dinner