FOSAD: Foundations of Security Analysis and Design



Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FOSAD 2017 17th Summer School on Foundations of Security Analysis and Design
Aug 28, 2017 - Sep 2, 2017 Bertinoro, Italy Jun 23, 2017
FOSAD 2016 summer school FOSAD: Foundations of Security Analysis and Design
Aug 29, 2016 - Sep 3, 2016 Bertinoro, Italy Jun 20, 2016
FOSAD 2015 15th International School on Foundations of Security Analysis and Design
Aug 31, 2015 - Sep 5, 2015 Bertinoro, Italy Jun 20, 2015

Present CFP : 2017

FOSAD 2017

28 August - 2 September 2017, Bertinoro, Italy

In cooperation with the
European Network for Cyber-security (NeCS)

*** Application Deadline: June 23, 2017

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.


The topics covered by the lectures include:
- cryptocurrencies and transparency systems
- mobile security
- privacy engineering
- verification of security protocols
- information-flow control libraries
- machine learning and privacy


Joseph Bonneau (Stanford Univ.)
Lorenzo Cavallaro (Royal Holloway Univ. of London)
George Danezis (Univ. College London)
Stephanie Delaune (CNRS IRISA)
Alejandro Russo (Chalmers Univ.)
Vitaly Shmatikov (Cornell Univ.)

The courses alternate theory and practice sessions.


Daily sessions are organized for participants
who intend to take advantage of the audience for
presenting their current research/tool in the area.


Martin Abadi Javier Lopez
Alessandro Aldini Fabio Martinelli (Chair)
Gilles Barthe Catherine Meadows
Eerke Boiten Bart Preneel
Sandro Etalle


The school is organized at the University Residential
Center of Bertinoro (CEUB), Italy:
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.


Prospective participants should apply through the
FOSAD web page by:
June 23, 2017.
Notification of accepted applicants will be posted by:
June 24, 2017.
Registration to the school is due by:
July 24, 2017.


The full fee is 900 Euros and covers stay from
August 27, in double room, half board (breakfast
and lunch), welcome dinner of August 27 and social
dinner included.
A limited amount of grants will be provided to
cover part of the fee for young researchers.

Related Resources

Cyber Security 2018   IEEE International Conference on Cyber Security and Protection of Digital Services
MESS 2018   Metaheuristics Summer School
eCrime 2018   13th Symposium on Electronic Crime Research
SSBSS 2018   5th International Synthetic & Systems Biology Summer School
ICCSP - Ei 2018   2018 the 2nd International Conference on Cryptography, Security and Privacy (ICCSP 2018)--Ei Compendex and Scopus
BCBT 2017   Barcelona Cognition, Brain and Technology Summer School
TSEC-NextSecSociety 2017   Journal of Cyber Security Technology Special Issue on Secure Smart Society in Next Generation Networking Paradigm
CASS 2017   Czech-Austrian Summer School on Deep Learning and Visual Data Analysis
CyberSA 2018   IEEE International Conference on Cyber Situational Awareness, Data Analytics and Assessment
TrustCom 2018   The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications