FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
FOSAD 2024
=======================================================
https://sites.google.com/uniurb.it/fosad/home/fosad-2024
=======================================================
26-30 August, 2024, Bertinoro, Italy

Since 2000, FOSAD is held at the rock of Bertinoro and
hosted by the University Residential Center (CEUB):
https://www.ceub.it/
which provides a unique architectonic 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.

COURSES and LECTURERS>

The lectures will cover issues in:
- digital twins security
- mobile apps vulnerability assessment and penetration testing
- protocol verification through CryptoVerif
- 5G and vulnerabilities
- network security
- human-centered cybersecurity

List of confirmed speakers:
Cristina Alcaraz (University of Malaga)
Alessandro Armando (University of Genova), together with Alessio Merlo and
Luca Verderame
Bruno Blanchet (INRIA Paris)
Hervé Debar (Télécom SudParis)
Roberto Di Pietro (HBKU-CSE, Doha)
Martina Angela Sasse (Ruhr-Universität Bochum)

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>

Prospective participants should apply through the FOSAD web page by:
    July 26, 2024.
Notifications and instructions for registration will be provided on
application arrival basis and starting from June.

SCHOOL FEES>

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

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:

- IFIP WG 11.14 Secure Engineering (NESSoS)    http://www.nessos-project.eu
- SERICS Security and Rights in the Cyberspace  https://serics.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/