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

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

FacebookTwitterLinkedInGoogle

Link: http://satoss.uni.lu/sacps2015/
 
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
ACISP 2017   Australasian Conference on Information Security and Privacy
SCPE_CCNCPS 2017   Special issue on Communication, Computing, and Networking in Cyber-Physical Systems
ICMWT 2017   4th iCatse Conference on Mobile and Wireless Technology
CyberSciTech 2017   The IEEE Cyber Science and Technology Congress 2017
EuropeanSeC 2017   2017 European Security Conference
USENIX Security 2017   USENIX Security '17
ICISIP 2017   The 5th IIAE International Conference on Intelligent Systems and Image Processing 2017
BDCloud 2017   The 7th IEEE International Conference on Big Data and Cloud Computing
CyberSec 2017   The Fifth International Conference on Cyber Security, Cyber Welfare and Digital Forensic