SACPS'15 is the The First International Workshop on Security Aspects of Cyber-Physical Systems. SACPS'15 provides an international forum on the latest technologies and research in security of Cyber-Physical systems (CPS). The workshop will be held in conjunction with The 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) that will be organized in London, United Kingdom (2-5 June 2015).
Cyber-Physical systems (CPS) are complex due to the composition and the combination of the system components and its physical elements. The physical parts are connected to a network, which is controlled by software components or, some times, manually. 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 CPS
- Safety and reliability analysis for CPS
- Security requirements specification for CPS
- Human aspects for CPS
- Case studies, tools, and experimental results for CPS
Submission and Proceedings
At least one author of each accepted paper will be required to present the work at the conference. All papers accepted for the workshop will be included in the ANT 2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines provided at ANT 2015 website. The number of pages for workshop papers is limited to 6 pages. Selected outstanding papers presented at the workshops, after further revision, will be considered for publication in special issues of selected journals. Authors should submit their contributions here, electronically in PDF format.
- Sjouke Mauw, University of Luxembourg, Luxembourg.
- Otmane Ait Mohamed, Concordia University, Canada.
- Samir Ouchani, University of Luxembourg, Luxembourg.
- 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 (Open Universiteit, NL)
- Barbara Kordy (INSA Rennes, IRISA, FR)
- Gabriele Lenzini (University of Luxembourg, L)
- Chamseddine Talhi (Ecole de Technologie Supérieure, CA)
- Paper Submission: February 10, 2015 (Extended: February 23, 2015)
- Acceptance Notification: March 20, 2015
- Final Manuscript Due: April 1, 2015
- Workshop: 2-5 June, 2015