Secure Key Exchange and Channel Protocols (SKECH)

The 2022 version of this page is also available in the new layout.

June 2-6 (Sun-Thu), 2024 (right after Eurocrypt 2024 in Zurich)
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 secure messaging has revealed that there are still numerous fundamental challenges in this area. In a way, it even seems to still be arguable what exactly should be considered a secure key exchange or a secure channel protocol. Other open research questions arise from the transition to quantum-safe protocols, from trying to 'tame' the complexity of the analyses of such protocols, and from asking how we can assure that the results of analyses allow us to make meaningful claims at the implementation level. This workshop will provide a venue for discussions on how to address these fundamental and practical questions.

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

The workshop is invitation-only.