Secure Key Exchange and Channel Protocols

June 1-4, 2014
University Residential Center
Bertinoro (Forlì-Cesena), Italy

Key exchange protocols and secure channels are some of the most widely used cryptographic protocols. The recent progress in developing new models and analyzing real-life protocols like SSL/TLS has revealed that there are still numerous fundamental problems in this area. Unfortunately, it seems to still be arguable what exactly should be considered a secure key exchange or a secure channel protocol. Other open problems refer to the question of how to 'tame' the complexity of the analyses of such protocols, and how we can assure that the results allow us to make meaningful claims at the implementation level. This workshop will provide a venue for discussions in how to address these fundamental questions.