GraMSec@FLoC

Keyphrases

Publications

volume 11086, 2019

5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers GraMSec@FLoC 11086 (2019)

2018

Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith
A State Machine System for Insider Threat Detection. GraMSec@FLoC (2018)
Ross Horne, Sjouke Mauw, Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec@FLoC (2018)
Harley Eades III, Jiaming Jiang, Aubrey Bryant
On Linear Logic, Functional Programming, and Attack Trees. GraMSec@FLoC (2018)
Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux
Deciding the Non-emptiness of Attack Trees. GraMSec@FLoC (2018)
Mansoor Ahmed-Rengers, Ilia Shumailov, Ross Anderson
Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins. GraMSec@FLoC (2018)
Sabarathinam Chockalingam, Wolter Pieters, André Teixeira, Nima Khakzad, Pieter H. A. J. M. van Gelder
Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures. GraMSec@FLoC (2018)
Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
Disclosure Analysis of SQL Workflows. GraMSec@FLoC (2018)