SENSEI2023: 2nd International Workshop on SafEty aNd SEcurity Interactions LAAS-CNRS in the Toulouse University Campus Toulouse, France, September 19, 2023 |
Conference website | https://safecomp2023.cnrs.fr/ |
Submission link | https://easychair.org/conferences/?conf=sensei2023 |
Call for Contributions – Sensei‘23
Second International Workshop on Security and Safety Interactions
co-located with SAFECOMP, Toulouse, France
19 September 2023
https://sites.google.com/view/sensei-2023
Deadline: 5 May 2023
Sensei’23 will be held Sept. 19 2023 at SAFECOMP 2023 (https://safecomp2023.cnrs.fr/, Toulouse, France). Safety-security interaction is an important factor in engineering of high-tech systems, as safety and security are often heavily intertwined. This workshop aims to further our understanding of this interaction. Two important topics are the co-engineering of safety and security, and integrated safety-security risk assessment. To foster the exchange of concepts, experiences, research ideas, and novel results, we bring together a wide range of researchers in safety and security, from theoretical to practical research.
Papers. We invite the submission of papers with high quality research contributions, work in progress, experimental and ongoing projects results. Therefore, the following types of submission are accepted:
- Abstracts: 1-2 pages, describing a work in progress or position statement. Abstracts will be published and presented as short presentations.
- Short papers: max. 6 pages, including references. These can be on new and emerging results, describing challenging problems, tool demonstrations, work in progress or industrial experiences.
- Research papers: max. 12 pages, including references. Reporting substantial, completed, and previously unpublished research.
Publication. All accepted short and research papers will be published in a Springer LNCS Proceedings volume for the SAFECOMP workshops (https://www.springer.com/gp/computer-science/lncs/new-latex-templates-available/15634678, single column). Authors will need to specify the type of submission in the title at the time of submission.
Topics include, but are not limited to:
- Co-engineering of safety and security
- Integrated safety and security risk assessment and management
- Security of safety-critical systems
- Integrated safety and security testing, verification, and validation
- Safety and security interdependencies
- Integrated safety and security requirements and policies
- Cyber-physical threats and vulnerabilities
- Formalization of security and safety properties
- Case studies and experience reports
- Tools supporting safety-security interactions
Important deadlines:
- Abstract/paper submission: 5 May 2023
- Notification of acceptance: 25 May 2023
- Camera-ready submission: 5 June 2023
- Workshop: 19 September 2023
Contributions can be submitted at https://easychair.org/conferences/?conf=sensei2023.
Workshop organizers:
- Christina Kolb, School of Informatics, University of Edinburgh (christina.kolb2022@gmail.com)
- Milan Lopuhaä-Zwakenberg, Formal Methods & Tools, University of Twente (m.a.lopuhaa@utwente.nl)
- Elena Troubitsyna, Theoretical Computer Science, KTH Royal Institute of Technology (elenatro@kth.se)