FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

A
Accountability	Three Branches of Accountability
Alloy	Prototyping Formal Methods Tools: a Protocol Analysis Case Study
Attack Trees	On Orderings in Security Models
attestation	Principles of Remote Sattestation
authentication	How to Explain Security Protocols to Your Children
Automated verification	Secure Key Management Policies in Strand Spaces
B
Bug bounty	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
C
choreographies	Security Protocols as Choreographies
complexity	On the Complexity of Verification of Time-Sensitive Distributed Systems
Constraint Solver	Adapting constraint solving to automatically analyze UPI Protocols
Counterexamples	Formal Methods and Mathematical Intuition
CPSA	On Orderings in Security Models
Crypto API	Secure Key Management Policies in Strand Spaces
cryptographic protocol analysis	Protocol Analysis with Time and Space Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran
Cryptographic Protocol Shapes Analyzer (CPSA)	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
Cryptographic Protocols	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer On Orderings in Security Models A Tutorial-Style Introduction to DY*
cryptography	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
cryptosystem	Probabilistic annotations for protocol models
cybersecurity	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
Cybersecurity and Fraud	Quantum Machine Learning and Fraud Detection
D
differential privacy	Establishing the Price of Privacy in Federated Data Trading
dimension theory	Formal Methods and Mathematical Intuition
distance bounding protocols	Protocol Analysis with Time and Space
Distributed Systems	Benign Interaction of Security Domains
E
envelope protocol	Security Protocols as Choreographies
epistemic logic	Probabilistic annotations for protocol models
F
F*	A Tutorial-Style Introduction to DY*
federated data trading	Establishing the Price of Privacy in Federated Data Trading
Fine-grained Access Control	Securing Node-RED Applications
formal methods	Joshua Guttman: Pioneering Strand Spaces Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer A Tutorial-Style Introduction to DY* Formal Methods and Mathematical Intuition
formal verification	Three Branches of Accountability
G
geometric logic	Model Finding for Exploration
Georg Cantor	Formal Methods and Mathematical Intuition
Giuseppe Peano	Formal Methods and Mathematical Intuition
H
High-assurance communication	Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran
hoare logic	Probabilistic annotations for protocol models
I
information flow	Benign Interaction of Security Domains
K
Key management	Secure Key Management Policies in Strand Spaces
L
L.E.J. Brouwer	Formal Methods and Mathematical Intuition
Layered Attestation	On Orderings in Security Models
M
mandatory security policies	Benign Interaction of Security Domains
mathematical intuition	Formal Methods and Mathematical Intuition
mathematical logic	Formal Methods and Mathematical Intuition
mechanized proofs	A Tutorial-Style Introduction to DY*
model finding	Model Finding for Exploration Prototyping Formal Methods Tools: a Protocol Analysis Case Study
multiset rewriting	On the Complexity of Verification of Time-Sensitive Distributed Systems
N
Node-RED	Securing Node-RED Applications
O
onion address	Principles of Remote Sattestation
P
physical properties	Protocol Analysis with Time and Space
popularization paper	How to Explain Security Protocols to Your Children
Preorders	On Orderings in Security Models
pricing mechanism	Establishing the Price of Privacy in Federated Data Trading
protocol analysis	Joshua Guttman: Pioneering Strand Spaces Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer A Tutorial-Style Introduction to DY* Prototyping Formal Methods Tools: a Protocol Analysis Case Study Adapting constraint solving to automatically analyze UPI Protocols
protocol logic	Probabilistic annotations for protocol models
Protocol verification	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
Q
Quantum Computing	Quantum Machine Learning and Fraud Detection
R
Racket	Prototyping Formal Methods Tools: a Protocol Analysis Case Study
Remote debugging	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
Runtime Monitoring	Securing Node-RED Applications
S
SAT solving	Model Finding for Exploration
secure locatization protocols	Protocol Analysis with Time and Space
Secure voting systems	A Declaration of Software Independence
security	Security Protocols as Choreographies
security protocols	How to Explain Security Protocols to Your Children Three Branches of Accountability
self-authentication	Principles of Remote Sattestation
Selfie attack	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
SMT Solving	Model Finding for Exploration
software independence	A Declaration of Software Independence
strand spaces	Secure Key Management Policies in Strand Spaces Joshua Guttman: Pioneering Strand Spaces
Support Vector Machine	Quantum Machine Learning and Fraud Detection
T
The MITRE Corporation	Formal Methods and Mathematical Intuition
Time-Sensitive Distributed Systems	On the Complexity of Verification of Time-Sensitive Distributed Systems
TLS Certificates	Principles of Remote Sattestation
topology	Formal Methods and Mathematical Intuition
Transport Layer Security	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
Trigger-Action Platform (TAP)	Securing Node-RED Applications
trust	Principles of Remote Sattestation
U
Unified Payment Interface	Adapting constraint solving to automatically analyze UPI Protocols
V
Verifiable voting systems	A Declaration of Software Independence
Verified compilation	Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran
W
website authentication	Principles of Remote Sattestation

Disclaimer | Powered by EasyChair Smart Program