FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
attribute-based access control
C
CompCert
constant-time security
Coq proof assistant
Cryptographic protocols
D
description logics
distance bounding protocols
Distance fraud
Distance-bounding protocols
E
Equivalence
F
first-order logic
Formal Methods
Formal Model
formal verification
Functor
G
Groupoid
H
Higher Inductive Type
Homotopy
I
Identity type
Internet of Things
L
logical formalism
M
Maude
N
Network Intrusion Detection
P
policy language
Probabilistic rewriting
Q
Quasi-inverse
S
Satisfiability Modulo Theories
security protocols
Statistical Model Checking
symbolic models
Synthetic Data
T
timing attacks
U
Univalence
Universe
V
Verification
verified compilation