Second Call for Contributions – Sensei‘24 Second International Workshop on Security and Safety Interactions (8 July 2024)
co-located with CSF, Enschede, the Netherlands https://sites.google.com/view/sensei-2024 Now with possibility of publication in Progress in Safety and Security --- see below! Sensei’24 will be held July 8 2024 at CSF 2024 (https://csf2024.ieee-security.org/, Enschede, the Netherlands). 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. ===Contributions=== We invite the submission of abstracts for presentations that are of interest to the safety-security community. This includes work in progress, position statements, emerging results or industrial experiences, as well as work that has recently been published or is currently under review elsewhere. Abstracts should be in the LNCS format and should be max. 4 pages excluding references. Authors of accepted abstracts will be invited after the workshop to submit their contribution to a special issue of the journal Progress in Safety and Security, the soon-to-be rebooted version of the Journal of Integrated Security and Safety (https://journals.open.tudelft.nl/jiss/). Furthermore, authors can choose to publish their work on the workshop's webpage or to provide a link to arXiv. 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 submission: 4 May 2024 (Anywhere on Earth) * Notification of acceptance: 13 May 2024 * Workshop: 8 July 2024 Submissions are to be submitted by mail to m.a.lopu...@utwente.nl<mailto:m.a.lopu...@utwente.nl> ========= Workshop organizers: Christina Kolb Industrial Engineering & Business Information Systems University of Twente c.k...@utwente.nl Milan Lopuhaä-Zwakenberg Formal Methods & Tools University of Twente m.a.lopu...@utwente.nl Elena Troubitsyna Theoretical Computer Science KTH Royal Institute of Technology elena...@kth.se
