FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Charles Morisset and Limin Jia

Authors	Title	Paper	Talk
Paventhan Vivekanandan	A Homotopical Approach to Cryptography		Jul 08 15:00
Alexandre Debant, Stephanie Delaune and Cyrille Wiedling	Proving physical proximity using symbolic models		Jul 08 11:30
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		Jul 08 12:00
Alix Trieu	A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler		Jul 08 14:00
Daniel Dougherty, Joshua Guttman and John Ramsdell	Homomorphisms and Minimality for Enrich-by-Need Security Analysis		Jul 08 14:30
Luca Arnaboldi and Charles Morisset	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems		Jul 08 10:00
Jiaming Jiang, Rada Chirkova, Jon Doyle and Arnon Rosenthal	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control		Jul 08 11:00

Disclaimer | Powered by EasyChair Smart Program