GraMSec 2018

The Fifth International Workshop on
Graphical Models for Security

Oxford, UK - July 8, 2018

Co-located with CSF 2018, in conjunction with FLoC 2018


Early registration deadline: Wednesday, June 6

GraMSec 2018 Accepted Papers

  • Harley Eades Iii, Jiaming Jiang, and Aubrey Bryant
    On Linear Logic, Functional Programming, and Attack Trees
  • Ross Horne, Sjouke Mauw, and Alwen Tiu
    The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
  • 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
  • Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, and Florence Wacheux
    Deciding the Emptiness of Attack trees
  • Marlon Dumas, Luciano García-Bañuelos, and Peeter Laud
    Disclosure Analysis of SQL Workflows
  • Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, and Michael Goldsmith
    A state machine system for insider threat detection
  • Ilia Shumailov, Mansoor Ahmed, and Ross Anderson
    Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins

logo UCL     logo Darmouth     logo INSA     logo IRISA