24th Summerschool on Foundations of Security Analysis and Design

Event Dates

Aug 25, 2025 - Aug 30, 2025

Location

Bertinoro, Italy

Submission Deadline

Jul 21, 2025

Since 2000, FOSAD has been held at the Rock of Bertinoro and

hosted by the University Residential Center (CEUB):

https://www.ceub.it/

which provides a unique architectural 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, including

accommodation, meeting rooms, and modern conference

and computing services.

LECTURERS)

– Lorenzo Cavallaro (University College London)

– Cas Cremers (CISPA Helmholtz Center for Information Security)

– Ernesto Damiani (Università di Milano)

– Joaquin Garcia-Alfaro (Institut Polytechnique de Paris)

– Giorgio Giacinto (Università di Cagliari)

– Erik Longo (Università di Firenze)

– Frank Piessens (KU Leuven)

– Andrea Saracino (Sant’Anna Pisa)

A special session is organized for participants who intend

to take advantage of the audience for presenting their

current research/tool in the area.

SCHOOL DATES)

Applications are accepted until places are filled and no later than:

July 21, 2025.

SCHOOL FEES)

FOSAD 2025 is sponsored by SERICS.

The registration is FREE and covers admission to all the lectures,

coffee breaks, lunches, and social events.

Accommodation in B&B in a double room in the same venue hosting

FOSAD is offered at the special fee of 250 euros, and starts from

24 August to 30 August.

Application form:

https://sites.google.com/uniurb.it/fosad/home/fosad-2025/application

SCIENTIFIC COMMITTEE)

Martin Abadi

Alessandro Aldini

Gilles Barthe

Herve Debar

Javier Lopez

Fabio Martinelli (Chair)

Catherine Meadows

Bart Preneel

Peter Y.A. Ryan

PARTNERSHIP)

FOSAD is organized in cooperation with SERICS Security and Rights in the Cyberspace https://serics.eu/

and under the auspices of

– IFIP WG 11.14 Secure Engineering (NESSoS) http://www.nessos-project.eu

– SPARTA Cybersecurity Competence Network http://www.sparta.eu

– EU DUCA https://www.irit.fr/duca/

– EU CyberSecPro https://www.cybersecpro-project.eu/

– EU-CHECK https://cybersec4europe.eu/eu-check/