CfP GraMSec 2018 early registration by June 6

June 18, 2018

GraMSec 2018 The Fifth International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018 


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. Co-located with CSF 2018 (
In conjunction with FLoC 2018 (

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 to GraMSec 2018 is handled via the website of FLoC

The early registration deadline is on June 6

If you need a support letter for a visa, please check


George Cybenko, Dartmouth College, NH, USA David J. Pym, UCL, UK


Barbara Kordy, INSA Rennes, IRISA, FR