WSF
The Workshop on Security Frameworks
Workshop on Security Frameworks

Workshop on Security Frameworks

WSF21 - The 2021 Workshop on Security Frameworks
"Cybersecurity needs abstract thinking"


Under the auspices of CINI Cybersecurity National Laboratory
CINI

Sponsored by Intrapresa
Intrapresa

13th December 2021
 Dipartimento di Matematica e Informatica
Università di Catania


WSF21 - The 2021 edition
Theory and practice, same old fellas. Can your skillset ferry you back and forth the fen between them? Why bother?! You’d better do, for the same reasons why a construction engineer ought to try out working as a builder, and a top notch builder ought to get to grips with some engineering principles. Understand the general intricacies then try ‘em out then go back to understanding them and continue the cycle indefinitely. This is the message arising form this year’s edition of the Workshop on Security Frameworks. Creating Digital Twins is fun and trendy, but the security and people’s privacy implications are only half apparent, so you need some abstraction away from the functional goal. Wherever (and that’s everywhere!) people liaise with technology, ceremonies are born whose security and privacy must be thoroughly understood. And while you practice with clever injections of code in a (web) form, abstracting the general language will deepen your eyesight once again. Even the automotive area stands at a difficult juncture, between safety and security, a very practical one indeed, and is facing it by representing relevant scenarios in an abstract language. So, rest assured: you need abstract thinking for mastering cybersecurity.

Participation is free by registering here.


WSF'21 poster

Talk abstracts

Workshop Programme (CET Time)

  • 9:30-9:40    G. Bella: Opening Remarks

  • 9:40-9:45    O. Muscato, Direttore DMI: Welcome

  • 9:45-10:25    Vlado Stankovski, University of Ljubljana, Slovenia: "Privacy and security issues in the context of Digital Twins"

  • 10:25-11:05    Diego Sempreboni, AVA Security, UK: "X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies"

  • 11:05-11:20    Break

  • 11:20-12.00    Erik Poll, Radboud University Nijmegen, Netherlands: "Some Security by Construction thanks to LangSec"

  • 12:00-12:40    Fabrizio Tronci, Huawei, Italy: "Functional Safety and Cyber Security synergy in complex automotive systems"

  • 12:40-13:00    Wrap-up with the speakers

Workshop Location
13th  December 2021, Online Event MS-TEAMS (Get the link by registering on Eventbrite!).