posted by organizer: pomarien || 4088 views || tracked by 9 users: [display]

SACPS 2015 : The First International Workshop on Security Aspects of Cyber Physical Systems


When Jun 2, 2015 - Jun 5, 2015
Where London, United Kingdom
Submission Deadline Feb 10, 2015
Notification Due Mar 20, 2015
Final Version Due Apr 1, 2015
Categories    formal method   security   cyber physical system   system modeling

Call For Papers

Cyber Physical systems (CPS) are complex due to the composition and the combination between the system's components and the physical elements. The physical parts are connected to a network, which is controlled by software components or manually some times. Examples of such systems can be found in avionics, automotive systems, nuclear power plants, etc.

Security of CPS is challenging due to the inherent complexity of CPS. Moreover, it is not sufficient to ascertain the security of the individual components in isolation: threats in CPS systems could also be due to the interaction between the physical, digital and software parts of CPS. Therefore, the system must be studied as a whole, which sets this emerging discipline apart from these individually established fields.

This workshop provides a platform for professionals from academia, government, and industry to discuss how to address the increasing security challenges facing CPS. Topics for the workshop include, but are not limited to:

+ Modeling CPS (formal models, UML, SysML, ADAAL, etc)
+ Design secure CPS
+ Risks analysis of CPS
+ Formal methods for CPS (abstraction, compositional verification, model checking, theorem proving, simulation, testing, etc)
+ Threat modeling for CPS
+ Security policies and access control for CPH
+ Safety and reliability analysis for CPS
+ Security requirements specification for CPS
+ Human aspects for CPS
+ Case studies, tools, and experemental results for CPH

Submission and Proceedings
All papers accepted for workshops will be included in the ANT 2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given on the ANT 2015 website. The number of pages for workshop papers is limited to 6 pages. Authors should submit their contributions here, electronically in PDF format.

Program committee
General chair
Sjouke Mauw, University of Luxembourg, Luxembourg.
PC chairs
Otmane Ait Mohamed, Concordia University, Canada.
Samir Ouchani, University of Luxembourg, Luxembourg.
PC members
Yamine Ait-Ameur (Ecole Nationale Supérieure de Mécanique et d'Aérotechnique, FR)
Vincent Aravantinos (Fortiss GmbH, D)
Yacine Atif (UAE University, UAE)
Hamad Binsalleeh (Al-Imam University, KSA)
Mourad Debbabi (Concordia University, CA)
Karim Djouani (Université Paris-Est Créteil, FR)
Jannik Dreier (ETH Zurich, CH)
Iqbal Farkhund (Zayed University, UAE)
Osman Hassan (National University of Science & Technology Pakistan, PK)
Hugo Jonker (University of Luxembourg, L)
Barbara Kordy (Université d'Orléans, FR)
Chamseddine Talhi (Ecole de Technologie Supérieure, CA)

Important dates
Paper Submission: February 10, 2015
Acceptance Notification: March 20, 2015
Final Manuscript Due: April 1, 2015
Workshop: 2-5 June, 2015

Related Resources

SMGSSP 2017   Smart Micro-Grid Systems Security and Privacy
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
IEEE TDSC Journal SI 2016   IEEE TDSC Special Issue on Data-Driven Dependability and Security
IEEE T-SIPN Special Issue 2017   IEEE T-SIPN Special Issue on Distributed Signal Processing for Security and Privacy in Networked Cyber-Physical Systems
ICISSP 2017   3rd International Conference on Information Systems Security and Privacy
CPSSC 2016   1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities
CyberSec 2017   The Fifth International Conference on Cyber Security, Cyber Welfare and Digital Forensic
AIP Special Issue 2016   Journal Acta Informatica Pragensia - Special Issue on Systems
CPSCom 2016   The 9th IEEE International Conference on Cyber, Physical and Social Computing