GraMSec@CSF

Keyphrases

Publications

2020

Peter M. Hines
A Diagrammatic Approach to Information Flow in Encrypted Communication. GraMSec@CSF (2020)
Amjad Ibrahim, Simon Rehwald, Antoine Scemama, Florian Andres, Alexander Pretschner
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks. GraMSec@CSF (2020)
Sophie Pinchinat, François Schwarzentruber, Sébastien Lê Cong
Library-Based Attack Tree Synthesis. GraMSec@CSF (2020)
Shamal Faily, Riccardo Scandariato, Adam Shostack, Laurens Sion, Duncan Ki-Aries
Contextualisation of Data Flow Diagrams for Security Analysis. GraMSec@CSF (2020)
Jean-François Lalande, Mathieu Simon, Valérie Viet Triem Tong
GroDDViewer: Dynamic Dual View of Android Malware. GraMSec@CSF (2020)
Christopher Schmitz, André Sekulla, Sebastian Pape
Asset-Centric Analysis and Visualisation of Attack Trees. GraMSec@CSF (2020)
Adam Szekeres, Einar Snekkenes
Representing Decision-Makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer. GraMSec@CSF (2020)
Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec@CSF (2020)
Kristian Haga, Per Håkon Meland, Guttorm Sindre
Breaking the Cyber Kill Chain by Modelling Resource Costs. GraMSec@CSF (2020)
Sotirios Katsikeas, Simon Hacks, Pontus Johnson, Mathias Ekstedt, Robert Lagerström, Joar Jacobsson, Max Wällstedt, Per Eliasson
An Attack Simulation Language for the IT Domain. GraMSec@CSF (2020)

volume 12419, 2020

Graphical Models for Security - 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers GraMSec@CSF 12419 (2020)

2019

volume 11720, 2019

Graphical Models for Security - 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers GraMSec@CSF 11720 (2019)

volume 10744, 2018

Graphical Models for Security - 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers GraMSec@CSF 10744 (2018)

2017

2016

volume 9987, 2016

Graphical Models for Security - Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers GraMSec@CSF 9987 (2016)

volume 9390, 2016

Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers GraMSec@CSF 9390 (2016)

2015