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 |