[FM-India] Fwd: FOSAD summerschool: Foundations of Security Analysis and Design 2016

[S P Suresh]

Hi,

This is of potential interest to FMIndia members. Please forward it to students you know who may be interested.  

– Suresh

> Begin forwarded message:
> 
> From: "Aldini, Alessandro" <000000047979b257-dmarc-request at LISTSERV.IIT.CNR.IT>
> Subject: FOSAD summerschool: Foundations of Security Analysis and Design 2016
> Date: 18 May 2016 at 14:33:25 IST
> To: SECURITY at FOSAD.ORG
> Resent-From: Vaishnavi Sundararajan <vaishnavi at cmi.ac.in>
> Resent-To: S P Suresh <spsuresh at cmi.ac.in>
> Reply-To: "Aldini, Alessandro" <alessandro.aldini at UNIURB.IT>
> 
> 16TH INTERNATIONAL SCHOOL ON
>         FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
> FOSAD 2016
> ====================================================
> 
>      http://www.sti.uniurb.it/events/fosad16 <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 (INRIA)
> 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/ <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.
>