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
Chair:
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
Chair:
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) PRESENTER: Lorenzo Ceragioli |
| 11:30 | Towards Unlinkable Smartcard-based Payments: an extended abstract (abstract) PRESENTER: Semen Yurkov |
12:00-12:30 Session 126A: Secure Hardware
Chair:
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
Chair:
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