FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
GRAMSEC PROGRAM
Sunday, July 8th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 34G: Opening and Keynote
Chair:
Barbara Kordy
Location: Maths Seminar C1
09:00
Barbara Kordy
Opening remarks and introductions (abstract)
09:10
Mike Fisk
Intrusion Tolerance in Complex Cyber Systems (abstract)
10:10
Marlon Dumas, Luciano García-Bañuelos and Peeter Laud
Disclosure Analysis of SQL Workflows (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38G: Technical Papers
Chair:
George Cybenko
Location: Maths Seminar C1
11:00
Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese and Michael Goldsmith
A state machine system for insider threat detection (abstract)
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 (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40G: Technical Papers
Chair:
Sushil Jajodia
Location: Maths Seminar C1
14:00
Mansoor Ahmed, Ilia Shumailov and Ross Anderson
Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins (abstract)
14:45
Maxime Audinot, Sophie Pinchinat, Francois Schwarzentruber and Florence Wacheux
Deciding the Emptiness of Attack trees (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 42F: Technical Papers and Closing Remarks
Chair:
David Pym
Location: Maths Seminar C1
16:00
Ross Horne, Sjouke Mauw and Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement (abstract)
16:45
Harley Eades Iii, Jiaming Jiang and Aubrey Bryant
On Linear Logic, Functional Programming, and Attack Trees (abstract)
17:30
Barbara Kordy
Closing remarks and discussions (abstract)