******************************************************************
GraMSec 2018
The Fifth International Workshop on Graphical Models for Security
Oxford, UK - July 8, 2018
http://gramsec.uni.lu/

Co-located with CSF 2018 (https://www.cs.ox.ac.uk/conferences/csf2018/)
In conjunction with FLoC 2018 (http://www.floc2018.org/)
******************************************************************		

ABOUT GraMSec
The use of graphical security models to represent and analyse the 
security of systems has gained an increasing research attention over the 
last two decades. Formal methods and computer security researchers, as 
well as security professionals from the industry and government, have 
proposed various graphical security models, metrics, and measurements. 
Graphical models are used to capture different security facets and 
address a range of challenges including security assessment, automated 
defence, secure services composition, security policy validation, and 
verification. The objective of GraMSec is to contribute to the 
development of well-founded graphical security models, efficient 
algorithms for their analysis, as well as methodologies and tools for 
their practical usage.

PROGRAM of GraMSec 2018
--------------------------
09:00	
Opening by Barbara Kordy

09:10	
Invited talk of Mike Fisk, Chief Information Officer at Los Alamos 
National Laboratory, NM, USA
Intrusion Tolerance in Complex Cyber Systems

10:10	
Marlon Dumas, Luciano García-Bañuelos and Peeter Laud
Disclosure Analysis of SQL Workflows

10:30-11:00
Coffee Break

11:00	
Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese and Michael 
Goldsmith
A state machine system for insider threat detection

11:45	
Sabarathinam Chockalingam, Wolter Pieters, Andre Teixeira, Nima Khakzad 
and Pieter van Gelder
Combining Bayesian Networks and Fishbone Diagrams to Distinguish between 
Intentional Attacks and Accidental Technical Failures

12:30-14:00
Lunch Break

14:00	
Ilia Shumailov, Mansoor Ahmed and Ross Anderson
Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins

14:45	
Maxime Audinot, Sophie Pinchinat, François Schwarzentruber and Florence 
Wacheux
Deciding the Emptiness of Attack trees

15:30-16:00
Coffee Break

16:00	
Ross Horne, Sjouke Mauw and Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with 
External Refinement

16:45	
Harley Eades Iii, Jiaming Jiang and Aubrey Bryant
On Linear Logic, Functional Programming, and Attack Trees

17:30	
Closing by George Cybenko and David J. Pym

REGISTRATION
Registration to GraMSec 2018 is handled via the website of FLoC
https://www.floc2018.org/register/
The early registration deadline is on June 6

If you need a support letter for a visa, please check
https://www.floc2018.org/faqs/

PROGRAM COMMITTEE CO-CHAIRS
George Cybenko, Dartmouth College, NH, USA
David J. Pym, UCL, UK

GENERAL CHAIR
Barbara Kordy, INSA Rennes, IRISA, FR