School’s web page: https://www.cs.bris.ac.uk/sketch2/index.html
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.
Local organizer: Jessica Bazzoli email@example.com – 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 July 3rd to 6th), and coffee breaks.
– € 345,00 – double room
It includes full-board accommodation in double room (to be shared with another participant) at the University Residential Center of Bertinoro (3 nights: from July 3rd to 6th), and coffee breaks.
*if you wish to share a double room, please specify in the field note of your booking the name of your roommate. Otherwise the organizing secretariat will arrange the combination.
Some useful information concerning your online registration:
– “BILLING ADDRESS”: you have to choose your surname/name or your institution. Only one option is admitted;
– “VAT n/Italian fiscal code number”: if you don’t have a VAT number or an Italian codice fiscale, please write “no code” or 0000
– IF YOUR ARRIVAL/DEPARTURE DATES ARE DIFFERENT FROM THE ABOVE MENTIONED (IN: JULY 3rd – OUT: JULY 6th ) PLEASE INFORM: firstname.lastname@example.org
Please, proceed with your registration, by clicking the bottom “BOOK ON LINE” located below.