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

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

09:00-10:30 Session 34E: Invited talk & IoT security
Chair:
Stephanie Delaune
Location: St Luke's Chapel
09:00
Luca Vigano
A Formal Approach to Cyber-Physical Attacks (abstract)
10:00
Luca Arnaboldi and Charles Morisset
LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38E: Formal Modelling & Analysis
Chair:
Charles Morisset
Location: St Luke's Chapel
11:00
Jiaming Jiang, Rada Chirkova, Jon Doyle and Arnon Rosenthal
An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control (abstract)
11:30
Alexandre Debant, Stephanie Delaune and Cyrille Wiedling
Proving physical proximity using symbolic models (abstract)
12:00
Musab A. Alturki, Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40E: Cryptography
Chair:
Limin Jia
Location: St Luke's Chapel
14:00
Alix Trieu
A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (abstract)
14:30
Daniel Dougherty, Joshua Guttman and John Ramsdell
Homomorphisms and Minimality for Enrich-by-Need Security Analysis (abstract)
15:00
Paventhan Vivekanandan
A Homotopical Approach to Cryptography (abstract)
15:30-16:00Coffee Break