[FM-India] Fwd: FOSAD summerschool: Foundations of Security Analysis and Design 2016
S P Suresh
spsuresh at cmi.ac.in
Thu May 26 19:44:21 IST 2016
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.
>
More information about the FMIndia
mailing list