FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Biewer, Sebastian	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
Bursuc, Sergiu	Towards Unlinkable Smartcard-based Payments: an extended abstract
Busi, Matteo	pi_RA: A pi-calculus for verifying protocols that use remote attestation
C
Ceragioli, Lorenzo	Automatic Fair Exchanges
D
Degano, Pierpaolo	Automatic Fair Exchanges
Devriese, Dominique	pi_RA: A pi-calculus for verifying protocols that use remote attestation
Drachsler Cohen, Dana	VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
E
Eldefrawy, Karim	Computer-aided Verification and Automated Synthesis of Cryptographic Protocols
G
Galletta, Letterio	Automatic Fair Exchanges
Garg, Deepak	Compositional Higher-order Declassification Using Logical Relations
H
Hirsch, Andrew K.	Compositional Higher-order Declassification Using Logical Relations
Holler, Sebastian	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
Horne, Ross	Towards Unlinkable Smartcard-based Payments: an extended abstract
Houmansadr, Amir	Robust Indistinguishability
K
Kabaha, Anan	VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization
L
Lanckriet, Emiel	pi_RA: A pi-calculus for verifying protocols that use remote attestation
M
Mauw, Sjouke	Towards Unlinkable Smartcard-based Payments: an extended abstract
Menz, Jan	Compositional Higher-order Declassification Using Logical Relations
Moniot, Monica	Robust Indistinguishability
O
O'Neill, Adam	Robust Indistinguishability
S
Sardar, Muhammad Usama	Unveiling Security through Obscurity Approach of Intel TDX Remote Attestation
Schneidewind, Clara	A Preview to HoRStify: Sound Security Analysis of Smart Contracts
V
Viganò, Luca	Automatic Fair Exchanges
Y
Yurkov, Semen	Towards Unlinkable Smartcard-based Payments: an extended abstract

Disclaimer | Powered by EasyChair Smart Program