36th IEEE Computer Security Foundations Symposium

July 9 - 13, 2023 - Dubrovnik, Croatia

Program Schedule

Registration desk, welcome reception, FCS workshop and all lunches will be at Inter-University Centre Dubrovnik (IUC ) while the main conference talks and coffee-breaks will be at University of Dubrovnik Campus (UDC ). Gala dinner will be at the Banje Beach Restaurant Lounge & Club (GALA ). The locations can be found here. All times are listed in Central European Summer Time (CEST).

CSF 2023 Workshop Sunday, July 9
07:30 - 13:00
IUC 		Registration desk
09:00 - 18:00
IUC 		Workshop on Foundations of Computer Security 2023 (FCS 2023)
17:30 - 19:00
IUC 		Registration desk
19:00 -
IUC 		CSF/FCS Welcome Reception
CSF 2023: Day 1 Monday, July 10
07:30 - 13:00
IUC 		Registration desk
09:00 - 09:30
UDC 		Opening
09:30 - 10:30
UDC 		Keynote I (Session chair: Tamara Rezk)
The Right to Deny - Shafi Goldwasser
10:30 - 11:00
UDC 		Coffee break
11:00 - 12:30
UDC 		Cryptography I (Session chair: Sabine Oechsner)
  1. Zero-Knowledge in EasyCrypt - Denis Firsov, Dominique Unruh
  2. Statement-Oblivious Threshold Witness Encryption - Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
  3. Preimage Awareness in Linicrypt - Zahra Javar, Bruce M.Kapron
12:30 - 14:00
IUC 		Lunch break
14:00 - 15:30
UDC 		Security Protocols I (Session chair: Bruno Blanchet)
  1. Election Verifiability with ProVerif - Vincent Cheval, Véronique Cortier, Alexandre Debant
  2. Election Verifiability in Receipt-free Voting Protocols - Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
  3. Proving Unlinkability using Proverif through Desynchronized Bi-Processes - David Baelde, Alexandre Debant, Stéphanie Delaune
15:30 - 16:00
UDC 		Coffee break
16:00 - 17:30
UDC 		Attack models (Session chair: David Sands)
  1. Basilic: Resilient Optimal Consensus Protocols With Benign and Deceitful Faults - Alejandro Ranchal-Pedrosa, Vincent Gramoli
  2. Towards a Game-Theoretic Security Analysis of Off-Chain Protocols - Sophie Rain, Laura Kovacs, Matteo Maffei, Georgia Avarikioti
  3. Keep spending: Beyond optimal cyber-security investment - Yunxiao Zhang, Pasquale Malacaria
17:30 - 18:30
IUC 		Registration desk
CSF 2023: Day 2 Tuesday, July 11
08:00 - 12:00
IUC 		Registration desk
09:00 - 10:00
UDC 		Keynote II (Session chair: Stefano Calzavara)
Sui Lutris: Combining broadcast and consensus in a production blockchain system - George Danezis
10:00 - 10:30
UDC 		Coffee break
10:30 - 12:00
UDC 		Cryptography II (Session chair: Vincent Cheval)
  1. A State-Separating Proof for Yao's Garbling Scheme - Chris Brzuska, Sabine Oechsner
  2. On the Incoercibility of Digital Signatures - Ashley Fraser, Elizabeth A. Quaglia, Lydia Garms
  3. SoK: Delay-based Cryptography - Liam Medley, Angelique Faye Loe, Elizabeth A. Quaglia
12:00 - 13:30
IUC 		Lunch break
13:30 - 15:00
UDC 		Security Protocols II (Session chair: Stéphanie Delaune)
  1. Indistinguishability Beyond Diff-Equivalence in ProVerif - Vincent Cheval, Itsaka Rakotonirina
  2. Subterm-based proof techniques for improving the automation and scope of security protocol analysis - Cas Cremers, Charlie Jacomme, Philip Lukert
  3. Extending the Authentication Hierarchy with One-Way Agreement - Johannes Wilson, Mikael Asplund, Niklas Johansson
15:00 - 15:30
UDC 		Coffee break
15:30 - 17:30
UDC 		Blockchain and Smart Contracts (Session chair: Roberto Blanco)
  1. On the (De)centralization of FruitChains - Aikaterini-Panagiota Stouka, Thomas Zacharias
  2. HoRStify: Sound Security Analysis of Smart Contracts - Sebastian Holler, Clara Schneidewind, Sebastian Biewer
  3. Cross-chain Swaps with Preferences - Eric Chan, Marek Chrobak, Mohsen Lesani
  4. Smart Contract Synthesis Modulo Hyperproperties - Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia Tillman
17:30 - 18:30
IUC 		Registration desk
17:45 - 19:15
IUC 		Walking tour
20:00 -
GALA 		Gala dinner
CSF 2023: Day 3 Wednesday, July 12
09:00 - 10:30
UDC 		Language-based Security (Session chair: Roberto Blanco)
  1. OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads - Jeppe Blaabjerg, Aslan Askarov
  2. Robust Safety for Move - Marco Patrignani, Sam Blackshear
  3. Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers - Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia
10:30 - 11:00
UDC 		Coffee break
11:00 - 12:30
UDC 		Hardware Security (Session chair: Marco Guarnieri)
  1. Securing Optimized Code Against Power Side Channels - Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos
  2. Formalizing Stack Safety as a Security Property - Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
  3. A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity - Matthieu Baty, Pierre Wilke, Guillaume Hiet, Alix Trieu, Arnaud Fontaine
12:30 - 14:00
IUC 		Lunch break
14:00 - 15:30
UDC 		Quantitative Information Flow (in memory of G. Smith) (Session chair: Pasquale Malacaria)
  1. Bayes Security: A Not So Average Metric - Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso
  2. Variations and Extensions of Information Leakage Metrics with Applications to Privacy Problems with Imperfect Statistical Information - Shahnewaz Karim Sakib, George T Amariucai, Yong Guan
  3. Analyzing the Shuffle Model through the Lens of Quantitative Information Flow - Mireya Jurado, Mário S. Alvim, Ramon Gonze, Catuscia Palamidessi
15:30 - 16:00
UDC 		Coffee break
16:00 - 17:00
UDC 		CSF business meeting
CSF 2023: Day 4 Thursday, July 13
09:00 - 10:30
UDC 		Machine Learning (Session chair: Giovanni Cherubin)
  1. SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future Roadmap - Sayanton V. Dibbo
  2. From Bounded to Unbounded: Privacy Amplification via Shuffling with Dummies - Shun Takagi, Fumiyuki Kato, Yang Cao, Masatoshi Yoshikawa
  3. Investigating Membership Inference Attacks under Data Dependencies - Thomas Humphries, Simon Oya, Lindsey Tulloch, Matthew Rafuse, Ian Goldberg, Urs Hengartner, Florian Kerschbaum
10:30 - 11:00
UDC 		Coffee break
11:00 - 12:00
UDC 		Privacy (Session chair: Mario Alvim)
  1. Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE - Adi Akavia, Ben Galili, Hayim Shaul, Mor Weiss, Zohar Yakhini
  2. Optimally Hiding Object Sizes with Constrained Padding - Andrew C. Reed, Michael K. Reiter
12:00 - 12:30
UDC 		5 minutes talks (Session chair: Ante Derek)
12:30 - 14:00
IUC 		Lunch break
14:00 - 14:30
UDC 		5 minutes talks (Session chair: Ante Derek)
14:30 - 15:30
UDC 		Language-based Security II (Session chair: Limin Jia)
  1. General-Purpose Secure Conflict-free Replicated Data Types - Bernardo Portela, Hugo Pacheco, Rogério Pontes, Pedro Jorge
  2. π_RA: A π-calculus for Verifying Protocols that Use Remote Attestation - Emiel Lanckriet, Matteo Busi, Dominique Devriese
15:30 - 16:00
UDC 		Coffee break
16:00 - 17:30
UDC 		Cryptography III (Session chair: Joseph Lallemand)
  1. High-assurance field inversion for curve-based cryptography - Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters
  2. On Sustainable Ring-based Anonymous Systems - Sherman S. M. Chow, Christoph Egger, Russell W. F. Lai, Viktoria Ronge, Ivy K. Y. Woo
  3. Collusion-Deterrent Threshold Information Escrow - Easwar Mangipudi, Donghang Lu, Alexandros Psomas, Aniket Kate