13th International School on Foundations of Security Analysis and Design co-organized with NESSoS and CryptoForma

University Residential Center of Bertinoro, Italy

2-7 September 2013

History Committee Location Application Programme Registration News Call for participation: text and flier Application deadline: June 20, 2013 Notifications and registration instructions available by: June 27, 2013 FOSAD2013 is organized in cooperation with the NoE on engineering secure future Internet software services and systems (NESSoS) and with the EPSRC NoE on the application of formal methods to cryptography (CryptoForma). List of speakers: Gilles Barthe - Computer-aided cryptographic proofs Bruno Blanchet - Automatic verification of security protocols in the symbolic model: the verifier ProVerif Javier Lopez - Location privacy in wireless sensor networks John Mitchell - Sandboxing untrusted JavaScript Kenny Paterson - Cryptographic analysis of TLS Frank Piessens - Information flow control for the web Bogdan Warinschi - Cryptography for electronic voting Extra: tool session Open session for research presentations given by participants (submit proposal through the application page)