FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Alturki, Musab A.	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
Arnaboldi, Luca	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems
B
Ban Kirigin, Tajana	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
C
Chirkova, Rada	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control
D
Debant, Alexandre	Proving physical proximity using symbolic models
Delaune, Stephanie	Proving physical proximity using symbolic models
Dougherty, Daniel	Homomorphisms and Minimality for Enrich-by-Need Security Analysis
Doyle, Jon	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control
G
Guttman, Joshua	Homomorphisms and Minimality for Enrich-by-Need Security Analysis
J
Jiang, Jiaming	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control
K
Kanovich, Max	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
M
Morisset, Charles	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems
N
Nigam, Vivek	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
R
Ramsdell, John	Homomorphisms and Minimality for Enrich-by-Need Security Analysis
Rosenthal, Arnon	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control
S
Scedrov, Andre	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
T
Talcott, Carolyn	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
Trieu, Alix	A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler
V
Vigano, Luca	A Formal Approach to Cyber-Physical Attacks
Vivekanandan, Paventhan	A Homotopical Approach to Cryptography
W
Wiedling, Cyrille	Proving physical proximity using symbolic models

Disclaimer | Powered by EasyChair Smart Program