Animation and exchanges in the Petri Nets community

["Lopuhaa-Zwakenberg, Milan \(UT-EEMCS\) via Petrinet" <address@concealed>]

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 address@concealed

 

=========

 

Workshop organizers:

Christina Kolb

Industrial Engineering & Business Information Systems

University of Twente

address@concealed

 

Milan Lopuhaä-Zwakenberg

Formal Methods & Tools                                                        

University of Twente

address@concealed

 

Elena Troubitsyna

Theoretical Computer Science

KTH Royal Institute of Technology

address@concealed