FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program