FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
attribute-based access control	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control (PDF, talk)
C
CompCert	A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (PDF, talk)
constant-time security	A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (PDF, talk)
Coq proof assistant	A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (PDF, talk)
Cryptographic protocols	Homomorphisms and Minimality for Enrich-by-Need Security Analysis (PDF, talk)
D
description logics	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control (PDF, talk)
distance bounding protocols	Proving physical proximity using symbolic models (PDF, talk)
Distance fraud	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols (PDF, talk)
Distance-bounding protocols	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols (PDF, talk)
E
Equivalence	A Homotopical Approach to Cryptography (PDF, talk)
F
first-order logic	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control (PDF, talk)
Formal Methods	Homomorphisms and Minimality for Enrich-by-Need Security Analysis (PDF, talk)
Formal Model	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems (PDF, talk)
formal verification	Proving physical proximity using symbolic models (PDF, talk) A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (PDF, talk)
functor	A Homotopical Approach to Cryptography (PDF, talk)
G
Groupoid	A Homotopical Approach to Cryptography (PDF, talk)
H
higher inductive type	A Homotopical Approach to Cryptography (PDF, talk)
Homotopy	A Homotopical Approach to Cryptography (PDF, talk)
I
Identity type	A Homotopical Approach to Cryptography (PDF, talk)
Internet of Things	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems (PDF, talk)
L
logical formalism	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control (PDF, talk)
M
Maude	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols (PDF, talk)
N
Network Intrusion Detection	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems (PDF, talk)
P
policy language	An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control (PDF, talk)
Probabilistic rewriting	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols (PDF, talk)
Q
Quasi-inverse	A Homotopical Approach to Cryptography (PDF, talk)
S
Satisfiability Modulo Theories	Homomorphisms and Minimality for Enrich-by-Need Security Analysis (PDF, talk)
security protocols	Proving physical proximity using symbolic models (PDF, talk)
Statistical Model Checking	Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols (PDF, talk)
symbolic models	Proving physical proximity using symbolic models (PDF, talk)
Synthetic Data	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems (PDF, talk)
T
timing attacks	A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (PDF, talk)
U
Univalence	A Homotopical Approach to Cryptography (PDF, talk)
Universe	A Homotopical Approach to Cryptography (PDF, talk)
V
Verification	LISA: Predicting the Impact of DoS Attacks on Real-World Low Power IoT Systems (PDF, talk)
verified compilation	A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program