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

CogSIMA 2018   2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management
TrustCom 2018   The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications
CPHS 2018   2nd IFAC Conference on Cyber-Physical & Human Systems
IJE 2017   International Journal of Education (IJE)
eCrime 2018   IEEE 13th Symposium on Electronic Crime Research
Broadnets 2018   9th International Conference on Broadband Communications, Networks, and Systems
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
MathSJ 2017   Applied Mathematics and Sciences: An International Journal
ASYNC 2018   24st IEEE International Symposium on Asynchronous Circuits and Systems
CCSEA 2018   8th International Conference on Computer Science, Engineering and Applications