*** Our apologies if you receive multiple copies of this mail ***
-------------- Call for Papers --------------
The First International Workshop on Security Aspects of Cyber-Physical Systems
(SACPS'15)
http://satoss.uni.lu/sacps2015
in conjunction with ANT-2015 conference
June 2 - 5, 2015 London, UK
SCOPE
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
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 in ANT-2014 website
(http://cs-conferences.acadiau.ca/ant-14/). The number of pages for workshop
papers is limited to 6 pages. Authors should submit their contributions
electronically in PDF format at:
https://easychair.org/conferences/?conf=sacph2015.
The submission processes will be managed by
easychair.org<http://easychair.org>. 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
www.Elsevier.com<http://www.Elsevier.com> and on Elsevier content platform
ScienceDirect (http://www.sciencedirect.com), and will be freely available
worldwide. All papers in Procedia will also be indexed by Scopus
(http://www.scopus.com) and Engineering Village (Ei)
(http://www.engineeringvillage.com). This includes EI Compendex
(http://www.ei.org/compendex). All accepted papers will also be indexed in DBLP
(http://dblp.uni-trier.de/).
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: http://cs-conferences.acadiau.ca/ant-15/#registration for more
information.
VENUE, ACCOMMODATION & VISA REQUIREMENTS
Please visit: http://cs-conferences.acadiau.ca/ant-15/#conferenceVenue for more
information.
If you have any further questions please contact one of the workshop organizer.
_______________________________________________
Om-announce mailing list
[email protected]
http://openmath.org/mailman/listinfo/om-announce
