FOSAD: Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

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

In cooperation with:

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

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

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

*** 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)

The topics covered by the lectures include:
- blockchain and protocol verification
- disruptive attacks as Meltdown and Spectre
- edge computing
- privacy
- network and system security

Lecturers:

Herve Debar (Telecom SudParis)
David Evans (University of Virginia)
Daniel Gruss (TU Graz)
Javier Lopez (University of Malaga)
Matteo Maffei (TU Wien)

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.
 

Related Resources

ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
IEEE Mobile Cloud 2019   The Seventh IEEE International Conference on Mobile Cloud Computing, Services, and Engineering
GreeNet Symposium - SGNC 2019   10th Symposium on Green Networking and Computing (SGNC 2019)
IEEE JSAC on IIoT 2019   IEEE JSAC Special Issue on Design and Analysis of Communication Interfaces for Industry 4.0
NLPIR--ACM, Ei and Scopus 2019   ACM2019 3rd International Conference on Natural Language Processing and Information Retrieval (NLPIR 2019)--Ei Compendex and Scopus
ICEDA 2019   2019 4th International Conference on Engineering Design and Analysis (ICEDA 2019)
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
FOSINT-SI 2019   Foundations of Open Source Intelligence and Security Informatics
ESEC/FSE 2019   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ACITY 2019   9th International Conference on Advances in Computing and Information Technology