FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

A
analysis and design of cryptographic protocols	Unveiling Security through Obscurity Approach of Intel TDX Remote Attestation
authentication	Towards Unlinkable Smartcard-based Payments: an extended abstract
B
blockchain	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
C
compositionality	Compositional Higher-order Declassification Using Logical Relations
confidential computing	Unveiling Security through Obscurity Approach of Intel TDX Remote Attestation
configuration language	Automatic Fair Exchanges
cryptography	Robust Indistinguishability Computer-aided Verification and Automated Synthesis of Cryptographic Protocols
D
declassification	Compositional Higher-order Declassification Using Logical Relations
Dependency Analysis	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
differential privacy	Robust Indistinguishability
E
emv	Towards Unlinkable Smartcard-based Payments: an extended abstract
Ethereum	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
F
fintech	Towards Unlinkable Smartcard-based Payments: an extended abstract
formal methods	Computer-aided Verification and Automated Synthesis of Cryptographic Protocols
Formal specification	Unveiling Security through Obscurity Approach of Intel TDX Remote Attestation
H
higher-order programs	Compositional Higher-order Declassification Using Logical Relations
I
information flow	Compositional Higher-order Declassification Using Logical Relations
L
linear logic	Automatic Fair Exchanges
Local robustness	VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
logical relations	Compositional Higher-order Declassification Using Logical Relations
M
multiparty computation	Computer-aided Verification and Automated Synthesis of Cryptographic Protocols
N
neural network robustness	VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
non-standard logic	Automatic Fair Exchanges
numerical-optimization search	VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
P
pi-calculus	pi_RA: A pi-calculus for verifying protocols that use remote attestation
Privacy	Robust Indistinguishability
Privacy-Preserving Machine Learning	Robust Indistinguishability
R
remote attestation	pi_RA: A pi-calculus for verifying protocols that use remote attestation Unveiling Security through Obscurity Approach of Intel TDX Remote Attestation
S
secure compilation	pi_RA: A pi-calculus for verifying protocols that use remote attestation
secure protocols	Computer-aided Verification and Automated Synthesis of Cryptographic Protocols
security	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
security protocols	Towards Unlinkable Smartcard-based Payments: an extended abstract
sharing economy	Automatic Fair Exchanges
smart contract	Automatic Fair Exchanges A Preview to HoRStify: Sound Security Analysis of Smart Contracts
symbolic security analysis	Unveiling Security through Obscurity Approach of Intel TDX Remote Attestation
T
Tool	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
U
unlinkability	Towards Unlinkable Smartcard-based Payments: an extended abstract
V
Verification	Computer-aided Verification and Automated Synthesis of Cryptographic Protocols
verification of neural networks	VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
Z
zero-knowledge proof	Computer-aided Verification and Automated Synthesis of Cryptographic Protocols

Disclaimer | Powered by EasyChair Smart Program