SKECH'22

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.