=========================================================================== (Apologies for multiple copies) ** Application Deadline: June 30, 2010 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % TENTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2010 % % http://www.sti.uniurb.it/events/fosad10 % % % % 6 - 11 September 2010, Bertinoro, Italy % % % % *** Announcement *** % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. SCHOOL PROGRAMME> The 10th edition of FOSAD alternates monographic courses of 4 hours and special sessions dedicated to presentations given by participants who intend to take advantage of the audience for discussing their current research in the area. The program will cover foundations of cryptography, verification of cryptographic protocols, trust management, wireless security, anonimity and privacy, analysis security APIs, and web services security. The lecturers of the monographic courses are: * Veronique Cortier - CNRS at Loria, France * George Danezis - Microsoft Research Cambridge, UK * Riccardo Focardi - University Ca' Foscari, Venezia, Italy * Cédric Fournet - Microsoft Research Cambridge, UK * Hugo Krawczyk - IBM Research, USA * Fabio Martinelli - CNR-IIT Pisa, Italy * Paul Syverson - Naval Research Laboratory, USA * Gene Tsudik - University of California at Irvine, USA Scientific Committee: Roberto Gorrieri (Chair) Sandro Etalle Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli Gilles Barthe Catherine Meadows SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro, Italy: http://www.ceub.it/ The host venue provides accommodation, meeting rooms, and modern conference facilities with computing services and Internet access. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by June 30, 2010. Notification of accepted applicants will be posted by July 7, 2010. Registration to the school is due by July 31, 2010. SCHOOL FEES> The full fee is 900 Euros and covers costs for 7 nights - starting from 5 September - in double room, half board (breakfast and lunch), dinner of 5 September included, lunch of 12 September excluded. Fund requests are pending. In case of approval, a limited amount of grants will be provided to cover part of the expenses. SCHOOL SPONSORSHIP> FOSAD is under the auspices of: * CNR-IIT, Pisa * EATCS - IT * EEF * ERCIM STM WG * IEEE CS - IT * University of Bologna SCHOOL PARTNERS> SecVote 2010: 1-4 Sep 2010, Bertinoro, Italy http://secvote2010.uni.lu/ Overview: The summer school SecVote will cover the foundations of secure voting, as well as examine recent developments in the field of e-voting. The program consists of 3 main topics: - Cryptographic support for voting - Formal analysis/verification of voting system security - In-depth examination of current voting systems in literature This core program will be supported by lectures on practical security and political science wrt. voting.