8:30 REGISTRATION
8:50 OPENING BY THE CHAIRS
9:00 – 10:30 DESIGN SESSION
-
Erlend Andreas Gjære and Per Håkon Meland
Threats Management Throughout the Software Service Life-cycle -
Ludovic Apvrille and Yves Roudier
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems -
Stéphane Paul
Towards Automating the Construction & Maintenance of Attack Trees:
a Feasibility Study
10:30 – 11:00 COFFEE BREAK
11:00 – 12:30 INVITED LECTURE
-
Dr. Ketil Stølen
Graphical Models for Security: Overview, Challenges, and Recommendations
12:30 – 2:30 LUNCH BREAK
2:30 – 4:00 ANALYSIS SESSION
-
Thomas Bauereiss and Dieter Hutter
Possibilistic Information Flow Control for Workflow Management Systems -
Cristian Prisacariu
Actor Network Procedures as Psi-calculi for Security Ceremonies -
Aitor Couce Vieira, Siv Hilde Houmb, and David Rios Insua
A Graphical Adversarial Risk Analysis Model for Oil and Gas Drilling Cybersecurity
4:00 – 4:30 COFFEE BREAK
4:30 – 6:00 PANEL SESSION
- Open Questions in Graphical Security Modeling
20:00 SOCIAL EVENT
-
Dinner at the restaurant Le Chasse-Spleen,
6 Place de Lavalette, 38000 Grenoble
How to get there:
Take tram B to the station Notre Dame Musée
