FOSAD 2015 : 15th International School on Foundations of Security Analysis and Design
Conference Series : Foundations of Security Analysis and Design
Call For Papers
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.
Michael Backes (Saarland Univ.):
Privacy in the Internet of the future
Herbert Bos (Vrije Univ. Amsterdam):
Michael Clarkson (Cornell Univ.):
Quantification and formalization of security
Hubert Comon (ENS Cachan):
Automated security proofs by contradiction
Ivan Damgård (Aarhus Univ.):
An introduction to multiparty computation and
a survey of recent advances
Andy Gordon (Microsoft Research):
Probabilistic programming and security
Heiko Mantel (TU Darmstadt):
Strategic thinking for researchers, by Andy Gordon
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
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 20, 2015.
Notification of accepted applicants will be posted by:
June 24, 2015.
Registration to the school is due by:
July 24, 2015.
The full fee is 900 Euros and covers stay from
August 30, in double room, half board (breakfast
and lunch), welcome dinner of August 30 and social
A limited amount of grants will be provided to
cover part of the fee for young researchers.