FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Agrafiotis, Ioannis	A state machine system for insider threat detection
Ahmed, Mansoor	Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins
Anderson, Ross	Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins
Audinot, Maxime	Deciding the Non-Emptiness of Attack trees
B
Bryant, Aubrey	On Linear Logic, Functional Programming, and Attack Trees
C
Chockalingam, Sabarathinam	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
Creese, Sadie	A state machine system for insider threat detection
D
Dumas, Marlon	Disclosure Analysis of SQL Workflows
E
Eades Iii, Harley	On Linear Logic, Functional Programming, and Attack Trees
Erola, Arnau	A state machine system for insider threat detection
F
Fisk, Mike	Intrusion Tolerance in Complex Cyber Systems
G
García-Bañuelos, Luciano	Disclosure Analysis of SQL Workflows
Goldsmith, Michael	A state machine system for insider threat detection
H
Horne, Ross	The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
J
Jiang, Jiaming	On Linear Logic, Functional Programming, and Attack Trees
K
Khakzad, Nima	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
Kordy, Barbara	Opening remarks and introductions Closing remarks and discussions
L
Laud, Peeter	Disclosure Analysis of SQL Workflows
M
Mauw, Sjouke	The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
P
Pieters, Wolter	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
Pinchinat, Sophie	Deciding the Non-Emptiness of Attack trees
S
Schwarzentruber, Francois	Deciding the Non-Emptiness of Attack trees
Shumailov, Ilia	Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins
T
Teixeira, Andre	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
Tiu, Alwen	The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
V
van Gelder, Pieter	Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures
W
Wacheux, Florence	Deciding the Non-Emptiness of Attack trees
Z
Zhang, Haozhe	A state machine system for insider threat detection

Disclaimer | Powered by EasyChair Smart Program