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 presented as short presentations; they will not be published.
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 dates
Abstract/paper submission: 12 May 2023 - Extended!
Notification of acceptance: 25 May 2023
Camera-ready submission: 5 June 2023
Workshop: 19 September 2023
Submissions are to be submitted at http://easychair.org/conferences/?conf=sensei2023.