| |||||||||||
FOSAD 2016 : summer school FOSAD: Foundations of Security Analysis and DesignConference Series : Foundations of Security Analysis and Design | |||||||||||
Link: http://www.sti.uniurb.it/events/fosad16 | |||||||||||
| |||||||||||
Call For Papers | |||||||||||
16TH INTERNATIONAL SCHOOL ON
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2016 ==================================================== http://www.sti.uniurb.it/events/fosad16 ==================================================== 29 August - 3 September 2016, Bertinoro, Italy In cooperation with the European Network for Cyber-security (NeCS) *** Application Deadline: June 20, 2016 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. COURSES) Eerke Boiten (Kent Univ.) What's the unit of security? Cas Cremers (Oxford Univ.) Mathematical models, analysis tools, and Internet security Emiliano de Cristofaro (Univ. College London) Privacy-preserving information sharing: tools and applications Bryan Ford (EPFL) Secure systems building Alfredo Pironti (IOActive) Formal verification of security protocol implementations: from theory to practice Ahmad-Reza Sadeghi (TU Darmstadt) Practical systems security Ankur Taly (Google Inc.) Practical distributed authorization The courses alternate theory and practice sessions. OPEN SESSION) Daily sessions are organized for participants who intend to take advantage of the audience for presenting their current research/tool in the area. SCIENTIFIC COMMITTEE) Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli (Chair) Gilles Barthe Catherine Meadows Eerke Boiten Bart Preneel Sandro Etalle SCHOOL VENUE) The school is organized at the University Residential Center of Bertinoro (CEUB), Italy: http://www.ceub.it/ The host venue provides a unique architectonical and environmental setting joining the stunning views of the hilltop of Bertinoro with the historical location of the ancient fortress and the facilities of the Center, which offers accommodation, meeting rooms, and modern conference and computing services. SCHOOL DATES) Prospective participants should apply through the FOSAD web page by: June 20, 2016. Notification of accepted applicants will be posted by: June 24, 2016. Registration to the school is due by: July 24, 2016. SCHOOL FEES) The full fee is 900 Euros and covers stay from August 28, in double room, half board (breakfast and lunch), welcome dinner of August 28 and social dinner included. A limited amount of grants will be provided to cover part of the fee for young researchers. |
|