FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK KEYWORD INDEX

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

A
analysis and design of cryptographic protocols
authentication
B
blockchain
C
compositionality
confidential computing
configuration language
cryptography
D
declassification
Dependency Analysis
differential privacy
E
emv
Ethereum
F
fintech
formal methods
Formal specification
H
higher-order programs
I
information flow
L
linear logic
Local robustness
logical relations
M
multiparty computation
N
neural network robustness
non-standard logic
numerical-optimization search
P
pi-calculus
Privacy
Privacy-Preserving Machine Learning
R
remote attestation
S
secure compilation
secure protocols
security
security protocols
sharing economy
smart contract
symbolic security analysis
T
Tool
U
unlinkability
V
Verification
verification of neural networks
Z
zero-knowledge proof