IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  
FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  

FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  

Bertinoro, Italy
Event Date: August 26, 2019 - August 30, 2019
Submission Deadline: July 05, 2019
Notification of Acceptance: July 08, 2019
Camera Ready Version Due: July 31, 2019




Call for Papers


*** Application Deadline: July 5, 2019

FOSAD has been one of the foremost events established
with the goal of disseminating knowledge about
foundations of security analysis and design to
graduate students and young computer scientists from
academia or industry.

COURSES)

Lecturers:

- Herve Debar (Telecom SudParis)
Vulnerabilities in the Internet of Thing

- David Evans (University of Virginia)
Trustworthy Machine Learning

- Daniel Gruss (TU Graz)
Microarchitectural Attacks

- Antonio Lioy (Politecnico di Torino)
Integrity Verification of Software-defined Infrastructures

- Javier Lopez (University of Malaga)
Edge Computing Security

- Matteo Maffei (TU Wien)
Blockchain and Protocol Verification

Programme:

http://www.sti.uniurb.it/events/fosad19/Programme.html


The courses alternate theory and practice sessions.

PhD FORUM)

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 Javier Lopez
Alessandro Aldini Fabio Martinelli (Chair)
Gilles Barthe Catherine Meadows
Eerke Boiten Bart Preneel

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 5, 2019.
Notification of accepted applicants will be posted by:
July 8, 2019.
Registration to the school is due by:
July 31, 2019.

SCHOOL FEES)

The full fee is 900 Euros and covers stay from
August 25, in double room, half board (breakfast
and lunch), welcome dinner of August 25 and social
dinner included.
A limited amount of grants will be provided to
cover part of the fee for young researchers.

PARTNERSHIP)

FOSAD 2019 is organized in cooperation with:

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

NeCS - European Network for Cyber-security
http://www.necs-project.eu

CyberSec4Europe - Cyber Security for Europe
https://www.cybersec4europe.eu/

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




Credits and Sources

[1] FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  


Check other Conferences, Workshops, Seminars, and Events


OTHER SECURITY EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE--EI 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
SHOW ALL

OTHER COMPUTER SCIENCE EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
CIoT 2025: 7th International Conference on Internet of Things
Toronto, Canada
Jul 19, 2025
MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER INFORMATION TECHNOLOGY EVENTS

ICMIP 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE--EI 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
IEEE ICAIBD 2026: IEEE--2026 The 9th International Conference on Artificial Intelligence and Big Data (ICAIBD 2026)
Chengdu, China
May 29, 2026
SHOW ALL