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.
This is the third edition of the workshop, after two successful events in 2014 and 2016 in Bertinoro.
The workshop is invitation-only.
Local organizer: Roberta Partisani, firstname.lastname@example.org – phone: +39 0543 446500; fax: +39 0543 443557
– € 390,00 – single room
It includes full board accommodation in single room at the University Residential Center of Bertinoro (3 nights: from June 24TH to 27TH ), and coffee breaks.
– € 345,00 – double room*
It includes full board accommodation in double room at the University Residential Center of Bertinoro (3 nights: from June 24TH to 27TH ), and coffee breaks.
*if you’d like to share a double room, please specify in the field note of your booking, your roommate. Otherwise the organizing secretariat will arrange the combination.
Participants that plan to arrive before/after June 24th and/or to leave after June 27th should contact the local organizer : email@example.com
*if you want to share a double room, please specify in the field note of your booking, the name of your roommate.
Please, proceed with your registration, by clicking the bottom “BOOK ONLINE”, located below.