2nd Workshop on Safety & Security aSSurance
Critical Infrastructures Protection
conjunction with the 2nd International Symposium on Security and Privacy
Paris, France (April 29th 2017)
Modern society heavily relies on large, heterogeneous
software-intensive systems to support all kinds of daily activities.
Services such as urban transportation, logistics, health-care, data
communication, railway, aerospace, and power distribution, to name a
few, are becoming more and more dependent on the availability of such
infrastructures. Any discontinuity of service may lead to serious
problems, from severe financial losses to fatalities or injuries; the
causes have different natures, either human errors, unexpected acts of
nature, or intentional attacks like sabotage. Safety and security
(S&S) assessments in critical infrastructures measure how these
disruptions are handled and what is the impact suffered by the critical
infrastructure under stress. These assessments are normally performed
using analytical or simulation-based techniques often addressing one
single specific aspect at a time rather than studying these
infrastructures in a holistic manner.
This workshop aims at providing a forum for people from academia and
industry to communicate their latest results on theoretical advances,
industrial case studies, practical scenarios, and lessons learned in
the assurance of S&S for critical infrastructures. Since the
special interest on S&S assurance, a special focus will be put on
model-based approaches; to the joint modelling and analysis of both
cyber and physical aspects of critical infrastructures; and to the
definition of unifying modelling and analysis methodologies. Research
papers focused on safety or security assurance only are also welcome.
The workshop is technically sponsored by the Technical Committee on
Homeland Security of IEEE SMC (Systems, Man & Cybernetics) society.
Submitted papers will be reviewed by three members of
Program Committee (or their sub-reviewers) and selection of accepted
papers will be based on relevance, quality and originality.
Accepted papers will be published in a special IEEE proceedings
for ``IEEE EuroS&P Workshops''. At least one of
the (co)author(s) of
each accepted paper is required to register and attend the conference
to present the work. After the conference, extended versions of
selected contributions will be considered for publication in a Special
Issue of the International Journal of Critical Computer-Based Systems. Those papers will undergo at least another review round.
PDF versions of papers should be submitted through EasyChair submission system.
Papers must not exceed 6 pages total (including the references and
appendices). Papers must be formatted for US letter (not A4) size
paper. The text must be formatted in a two-column layout, with columns
no more than 9.5 in. tall and 3.5 in. wide. The text must be in Times
font, 10-point or larger, with 11-point or larger line spacing. Authors
are strongly encouraged to use the IEEE conference proceedings templates.
LaTeX submissions should use IEEEtran.cls version 1.8b, dated 2015/08/26, in Compsoc Conference Mode:
Failure to adhere to the page limit and formatting requirements can be grounds for rejection.
- Stefano Marrone,
Dip. di Matematica e Fisica, Seconda Unviersità di Napoli (Italy),
J. Rodríguez, Centro Universitario de la Defensa de Zaragoza, Academia General Militar (Spain), rjrodriguez[at]unizar[dot]es
Technical Programme Committee
Simona Bernardi, Centro Univesitario de la Defensa, Universidad de Zaragoza (Spain)
Tomas Bures, Charles University in Prague (Czech Republic)
Xiaolin Chang, Beijing Jiaotong University (China)
Ugo Gentile, CERN, Geneve (Switzerland)
Francesco Flammini, IEEE (Italy)
Juan Felipe García, Research Institute of Applied Sciences in Cybersecurity, University of León (Spain)
Stefano Marrone, Seconda Università di Napoli (Italy)
Roberto Nardone, DIETI, Università di Napoli "Federico II'', (Italy)
Ehsan Noroozinejad, Kerman Graduate University of Advanced Technology (Iran)
Giuseppe Primiero, Middlesex University, London (United Kingdom)
Guillermo Rodriguez-Navas, Malardalen University (Sweden)
Ricardo J. Rodríguez, University of Zaragoza (Spain)
Kristin Rozier, Iowa State University (USA)
Maria Spichkova, Royal Melbourne Institute of Technology (Australia)
Kumiko Tadano, NEC Laboratory for Analysis of System Dependability (Japan)
Stefano Tonetta, Fondazione Bruno Kessler (Italy)
Catia Trubiani, Gran Sasso Science Institute (Italy)
Andre Weimerskirch, Lear Corporation (USA)
Anna Zamansky, University of Haifa (Israel)