Secure Key Exchange and Channel Protocols (SKECH)

This page is also available in the new layout.

July 10-13, 2022
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 or ratcheting 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.

This is the fourth edition of the workshop, after three successful events in 2014, 2016, and 2018 in Bertinoro.

The workshop is invitation-only.

group photo 1
group photo 2