FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
FCS PROGRAM
Thursday, August 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:15-10:30 Session 123B: Keynote Presentation
Location: Ullmann 310
09:15
Computer-aided Verification and Automated Synthesis of Cryptographic Protocols (abstract)
10:30-11:00Coffee Break
11:00-11:45 Session 125C: Blockchain and Real-world Security
Location: Ullmann 310
11:00
A Preview to HoRStify: Sound Security Analysis of Smart Contracts (abstract)
PRESENTER: Sebastian Holler
11:15
Automatic Fair Exchanges (abstract)
11:30
Towards Unlinkable Smartcard-based Payments: an extended abstract (abstract)
PRESENTER: Semen Yurkov
12:00-12:30 Session 126A: Secure Hardware
Location: Ullmann 310
12:00
Unveiling Security through Obscurity Approach of Intel TDX Remote Attestation (abstract)
12:15
pi_RA: A pi-calculus for verifying protocols that use remote attestation (abstract)
PRESENTER: Emiel Lanckriet
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-14:45 Session 127C: Analysis for Security and Privacy
Location: Ullmann 310
14:00
VeNuS: Neural Network Robustness Specifications via Verifier-guided Optimization (abstract)
PRESENTER: Anan Kabaha
14:15
Compositional Higher-order Declassification Using Logical Relations (abstract)
PRESENTER: Jan Menz
14:30
Robust Indistinguishability (abstract)
PRESENTER: Adam O'Neill
15:30-16:00Coffee Break
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event