FOSAD: Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2023

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/
 

Related Resources

Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
MFCS 2024   Mathematical Foundations of Computer Science
IEEE ICA 2022   The 6th IEEE International Conference on Agents
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
SPIE-Ei/Scopus-CVCM 2024   2024 5th International Conference on Computer Vision, Communications and Multimedia (CVCM 2024) -EI Compendex
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
SPIE-Ei/Scopus-ITNLP 2024   2024 4th International Conference on Information Technology and Natural Language Processing (ITNLP 2024) -EI Compendex
FOCS 2024   Foundations of Computer Science
USENIX Security 2025   The 34th USENIX Security Symposium - Cycle 2