GraMSec 2020

The Seventh International Workshop on
Graphical Models for Security

June 22, 2020

Co-located with CSF 2020

 


PROGRAM

GraMSec 2020 - Program.pdf
GraMSec 2020 pre-recorded videos of the presentations are available in this YouTube Playlist.

Time zones: US Eastern Daylight Saving Time (EDT) time indicated; Central European Summer Time (CEST) time in parentheses.

9:00 – 9:15 (15:00 - 15:15) Start and Welcoming remarks

9:15 – 10:00 (15:15 - 16:00) KEYNOTE (slides) from Marielle Stoelinga

Chair Olga Gadyatskaya

10:00 – 10:10 (16:00 - 16:10) BREAK

10:10 – 11:10 (16:10 - 17:10) SESSION 1: Attack trees

Chair Harley D. Eades III

11:10 – 11:30 (17:10 - 17:30) BREAK

11:30 – 12:40 (17:30 - 18:40) SESSION 2: Attacks and risks modeling and visualisation

Chair Barbara Fila

12:40 – 13:00 (18:40 - 19:00) BREAK

13:00 – 13:55 (19:00 - 19:55) SESSION 3: Models for reasoning about security

Chair Marielle Stoelinga

13:55 – 14:00 (19:55 - 20:00) Concluding remarks

14:00 onwards (20:00 onwards) Social activity: bring your favorite drink and chat with us


  Augusta University logo   Leiden University logo   UL logo