FOSAD: Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
FOSAD 2024 23rd Summerschool on Foundations of Security Analysis and Design
Aug 26, 2024 - Aug 30, 2024 Bertinoro, Italy Jul 26, 2024
FOSAD 2023 22nd Summerschool on Foundations of Security Analysis and Design
Aug 28, 2023 - Sep 1, 2023 Bertinoro, Italy Jul 27, 2023
FOSAD 2022 21st Summerschool - Foundations of Security Analysis and Design
Aug 29, 2022 - Sep 2, 2022 Bertinoro, Italy Jul 24, 2022
FOSAD 2021 20th FOSAD: International School on Foundations of Security Analysis and Design
Aug 30, 2021 - Sep 3, 2021 Bertinoro, Italy Jul 24, 2021
FOSAD 2019 19th FOSAD Summerschool on Foundations of Security Analysis and Design
Aug 26, 2019 - Aug 30, 2019 Bertinoro, Italy Jul 5, 2019
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 : 2024

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/
 

Related Resources

Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
ECCWS 2024   23rd European Conference on Cyber Warfare and Security
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
ICGDA--EI 2025   2025 8th International Conference on Geoinformatics and Data Analysis (ICGDA 2025)
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
ICMLA 2024   23rd International Conference on Machine Learning and Applications
IEEE ICA 2022   The 6th IEEE International Conference on Agents
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
Ei/Scopus-ACCMI 2024   2024 2nd Asia Conference on Automation, Cloud Computing and Machine Intelligence (ACCMI 2024)
USENIX Security 2025   The 34th USENIX Security Symposium - Cycle 2