FOSAD 2023 : 22nd Summerschool on Foundations of Security Analysis and Design

22ND INTERNATIONAL SCHOOL ON
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
FOSAD 2023
=====================================================
28 August - 1 September 2023, Bertinoro, Italy

COURSES)

The lectures cover security aspects in usability, machine learning and privacy,
distributed ledgers, data protection, micro-architectural attacks, cyber physical
systems, formal methods, and digital sovereignty.

- Borja de Balle Pigem (DeepMind)
- Sabrina De Capitani di Vimercati (University of Milan)
- Theo Dimitrakos (Huawei and University of Kent)
- Daniel Gruss (Technische Universität Graz)
- Sokratis Katsikas (Norwegian University of Science and Technology)
- Aggelos Kiayias (University of Edinburgh and IOKH)
- Sebastian Alexander Mödersheim (DTU Lyngby)


A special session is organized for participants who intend to take advantage of
the audience for presenting their current research/tool in the area.

SCIENTIFIC COMMITTEE)

Martin Abadi
Alessandro Aldini
Gilles Barthe
Herve Debar
Javier Lopez
Fabio Martinelli (Chair)
Catherine Meadows
Bart Preneel
Peter Y.A. Ryan

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:
July 27, 2023.
Notifications of acceptance and instructions for registration will be given
on application arrival basis.

SCHOOL FEES)

The full fee is 800 Euros and covers registration and accommodation
starting from 27 August 2023 in double room, half board (breakfast
and lunch). Many scholarships are available to cover up to half of
the fees.

PARTNERSHIP)

FOSAD is organized in cooperation with:
IFIP WG 11.14 Secure Engineering (NESSoS)
http://www.nessos-project.eu
SPARTA - Cybersecurity Competence Network
http://www.sparta.eu
CyberSec4Europe - Cyber Security for Europe
https://www.cybersec4europe.eu/
EU CyberSecPro
https://www.cybersecpro-project.eu/
SERICS
https://serics.eu/
EU-CHECK
https://cybersec4europe.eu/eu-check/