8:30 – 9:15 REGISTRATION
9:20 – 9:30 OPENING
Aula M
9:35 – 10:30 STAST INVITED LECTURE
Aula M
-
Simone Fischer-Hübner
Eliciting Requirements for Privacy-enhancing Transparency Tool
GraMSec participants are invited to attend the invited lecture of STAST
10:30 – 11:00 COFFEE BREAK
11:00 – 12:30 REPRESENTATION AND ANALYSIS SESSION
Chair – Christian W. Probst, Aula L
-
Volker Ahlers, Felix Heine, Bastian Hellmann, Carsten Kleiner, Leonard Renners, Thomas Rossow, and Ralf Steuerwald
Integrated Visualization of Network Security Metadata from Heterogeneous Data Sources [slides] -
Laurent Cuennet, Marc Pouly and Sasa Radomirovic
Guided Specification and Analysis of a Loyalty Card System [slides] -
Ludovic Apvrille and Yves Roudier
SysML-Sec Attack Graphs: Compact Representations for Complex Attacks [slides]
12:30 – 14:00 LUNCH BREAK
14:00 – 15:00 GraMSec INVITED LECTURE
Chair – Sjouke Mauw, Aula L
-
Marc Bouissou
Dynamic Graphical Models for Security and Safety Joint Modeling [slides]
STAST participants are invited to attend the invited lecture of GraMSec
15:00 – 15:30 TOOL SESSION
Chair – Ravi Jhawar, Aula L
-
Sophie Pinchinat, Mathieu Acher and Didier Vojtisek
ATSyRa: An Integrated Environment for Synthesizing Attack Trees [slides]
15:30 – 16:00 COFFEE BREAK
16:00 – 17:00 GENERATION SESSION
Chair – Saša Radomirović, Aula L
17:00 – 17:10 CLOSING
Aula L
19:00 – 23:00 DINNER at OSTERIA SGARZARIE
-
Informal dinner for the participants of the workshop
Corte Sgarzarie 14/a, 37121 Verona
