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:
Location: St Luke's Chapel
09:00 | A Formal Approach to Cyber-Physical Attacks (abstract) |
10:00 | 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:
Location: St Luke's Chapel
11:00 | An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control (abstract) |
11:30 | Proving physical proximity using symbolic models (abstract) |
12:00 | 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:
Location: St Luke's Chapel
14:00 | A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (abstract) |
14:30 | Homomorphisms and Minimality for Enrich-by-Need Security Analysis (abstract) |
15:00 | A Homotopical Approach to Cryptography (abstract) |
15:30-16:00Coffee Break