The First International Workshop on Security Aspects of Cyber-Physical
Systems (SACPS'15)
in conjunction with ANT-2015 conference

June 2 - 5, 2015 London, UK


Security of Cyber-Physical Systems (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 of interest 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



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 in ANT-2014 website
( The number of pages for
workshop papers is limited to 6 pages. Authors should submit their
contributions electronically in PDF format at:

The submission processes will be managed by
<> . If you have used this system before, you can
use the same username and password. If this is your first time using
EasyChair, you will need to register for an account by clicking "I
have no EasyChair account" button. Upon completion of registration,
you will get a notification email from the system and you are ready
for submitting your paper. You can upload and re-upload the paper to
the system by the submission due date.

The selective outstanding papers presented at the workshops, after
further revision, will be considered for publication in journals
special issues. In case of any problem with submission, please contact
the workshop chair for assistance.

All workshops accepted papers will be printed in the conference
proceedings published by Elsevier Science in the open-access Procedia
Computer Science series (on-line). Procedia Computer Sciences is
hosted on <> and on Elsevier
content platform ScienceDirect (, and
will be freely available worldwide. All papers in Procedia will also
be indexed by Scopus ( and Engineering Village
(Ei) ( This includes EI Compendex
( All accepted papers will also be
indexed in DBLP (

The selective outstanding papers presented at the workshops, after
further revision, will be considered for publication in journals
special issues at ANT'13 and in IJFCST.

Important dates

Submission due: 10 Feb, 2015
Notification of acceptance: 20 March, 2015
Camera-ready due: 1 April, 2015
Workshop: 2-5 June, 2015

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)

*         Gabriele Lenzini (University of Luxembourg, L)

*         Chamseddine Talhi (Ecole de Technologie Supérieure, CA)

Please visit:
for more information.


Please visit:
for more information.

If you have any further questions please contact one of the workshop organizer.

Phone: (+352) 46 66 44 5743
Fax : (+352) 46 66 44 3 5743
University of Luxembourg
Interdisciplinary Centre for Security, Reliability and Trust (SnT)
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg