posted by organizer: rjrodriguez || 1977 views || tracked by 6 users: [display]

S4CIP 2018 : 3rd International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection

FacebookTwitterLinkedInGoogle

Link: http://www.dimat.unina2.it/marrone/s4cip18.html
 
When Apr 27, 2018 - Apr 27, 2018
Where London, United Kingdom
Submission Deadline Jan 25, 2018
Notification Due Feb 8, 2018
Categories    security   safety   assessment   critical infrastructures
 

Call For Papers

*********************************************************
CALL FOR PAPERS S4CIP 2018
3rd International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection
London, United Kingdom - April 27, 2018

Co-located with IEEE EuroS&P: 3rd European Symposium on Security and Privacy (April 24-26, 2018)
Web: http://www.dimat.unina2.it/marrone/s4cip18.html
*********************************************************

Modern society heavily relies on large, heterogeneous and complex 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.


# Workshop topics
==================

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.

Topics of interests are, but not limited to:

* Methods and Methodologies: Threat, Vulnerability and Risk Assessment; Model-Based Penetration Testing; Security Metrics Definition and
* Evaluation; RAMSS Analysis; Crisis and Emergency Management; Unifying Modelling Methodologies for Cyber and Physical Security; Resilience Engineering.
* Modelling: Stochastic Modeling; Formal Methods; Domain Specific Languages and Model-Driven Engineering; Multi-Level Hierarchical Modeling; Multi-Paradigm Modeling.
* Analysis: Quantitative & Qualitative Evaluation; Interconnections Among Non-Functional Aspects (e.g., Reliability vs. Safety, Security vs. Performance); Multisolution Processes; Resilience Analysis.
* Domains: Cyber-Physical Systems; Critical Infrastructure Protection; SCADA and Control Systems Security; Homeland Security; Automotive; Transport, Manufacturing, Energy, Health and Banking Applications; Computer Networks and Cloud Infrastructures.

# Important Dates
==================

- Paper submission: January 25, 2018
- Notification: February 8, 2018
- Camera-ready: February 26, 2018


# Paper Submission
==================

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.
PDF versions of papers should be submitted through EasyChair submission system (https://easychair.org/conferences/?conf=s4cip18).

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 (http://www.inderscience.com/jhome.php?jcode=ijccbs). Those papers will undergo at least another review round.


# Page Limit and Formatting
==================

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 8 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:

\documentclass[compsoc, conference, letterpaper, 10pt, times]{IEEEtran}

Failure to adhere to the page limit and formatting requirements can be grounds for rejection.


# PC Workshop Chairs
==================

Stefano Marrone, Università della Campania "Luigi Vanvitelli" (Italy)
Ricardo J. Rodríguez, Centro Universitario de la Defensa de Zaragoza, Academia General Militar (Spain)


# PC Members
==================

Simona Bernardi, 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, University of Linnaeus (Sweden)
Juan Felipe García, Research Institute of Applied Sciences in Cybersecurity, University of León (Spain)
Stefano Marrone, Università della Campania "Luigi Vanvitelli" (Italy)
Roberto Nardone, DIETI, Università di Napoli "Federico II'', (Italy)
Giuseppe Primiero, Middlesex University, London (United Kingdom)
Guillermo Rodriguez-Navas, Malardalen University (Sweden)
Ricardo J. Rodríguez, Centro Univesitario de la Defensa, Universidad de 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)

Related Resources

FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
IJRAP 2018   International Journal of Recent advances in Physics
IAS 2018   The 14th International Conference on Information Assurance and Security
IJOE 2018   International Journal on Organic Electronics
ICRSSH 2018   3rd Dubai – International Conference on Research in Social Science & Humanities (ICRSSH), 23-24 Feb 2019
IJAB 2018   International Journal of Advances in Biology
ICSTR 2018   3rd ICSTR Dubai – International Conference on Science & Technology Research, 26-27 February 2019
IJIS-IoTSec 2018   Springer IJIS Special Issue on IoT Security and Privacy
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems