posted by user: aldinia || 1976 views || tracked by 1 users: [display]

FOSAD 2024 : 23rd Summerschool on Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Security Analysis and Design
 
Link: https://sites.google.com/uniurb.it/fosad/home/fosad-2024
 
When Aug 26, 2024 - Aug 30, 2024
Where Bertinoro, Italy
Submission Deadline Jul 26, 2024
Categories    summerschools   cybersecurity   computer science   models and applications
 

Call For Papers

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

FOSAD 2026   25th Summerschool on Foundations of Security Analysis and Design
Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
Springer CEAC 2027   Springer--2027 The 7th International Civil Engineering and Architecture Conference (CEAC 2027)
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
ICDIS 2026   3rd International Symposium on Integrated Circuit Design and Integrated Systems
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
MSEA 2026   2026 5th International Conference on Mathematical Statistics and Economic Analysis
IEEE-MLNLP 2026   2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)
THz Communications, Sensing & Security 2026   The IEEE 3rd International Workshop on Terahertz Communications, Sensing, and Security (in conjunction with IEEE MILCOM 2026)
ICBMM 2026   2026 The 10th International Conference on Building Materials and Materials Engineering (ICBMM 2026)--SCIE