posted by organizer: pomarien || 6148 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

CPSIOT 2020   2020 International Conference on Cyber Physical Systems and IoT(CPSIOT 2020)
AVC 2020   Advances in Vision Computing: An International Journal
CSW 2021   2021 International Workshop on Cyber Security (CSW 2021)
BIoT 2020   International Conference on Blockchain and Internet of Things
TrustCom 2020   The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications
CCNET 2020   7th International Conference on Computer Networks & Communications
EAI IC4S 2020   C4S 2020 - EAI International Conference on Cognitive Computing and Cyber Physical Systems
IJCCSA 2020   International Journal on Cloud Computing: Services and Architecture
JISA-CYBER-SEC 2020   Special Issue on Trends in Cybersecurity, Journal of Information Security and Applications, Elsevier
CMLA 2020   2nd International Conference on Machine Learning & Applications