CSF — PROGRAM

Days: Sunday, 26 July 2026 Monday, 27 July 2026 Tuesday, 28 July 2026 Wednesday, 29 July 2026

Sunday, 26 July 2026
10:00-10:30 Coffee Break CSF
Location: B2.03
10:30-12:30 Differential Privacy CSF
Location: B2.03
10:30-10:54
Optimizing Differential Privacy in Federated Analytics under Known Input Distributions (abstract) 24 min
Ferran Alborch Escobar1, Andreas Athanasiou2, Pascal Reisert3
1 Orange Innovation
2 TU Delft
3 University of Stuttgart
10:54-11:18
Interpreting Differential Privacy in Terms of Disclosure Risk (abstract) 24 min
Zeki Kazan1, Sagar Sharma2, Wanrong Zhang2, Bo Jiang2, Qiang Yan2
1 Duke University
2 TikTok Inc
11:18-11:42
Bayesian Advantage of Re-Identification Attack in the Shuffle Model (abstract) 24 min
Pengcheng Su1, Haibo Cheng1, Ping Wang1
1 Peking University
11:42-12:06
Privacy Mechanism Design based on Empirical Distributions (abstract) 24 min
Leonhard Grosse1, Sara Saeidian2, Mikael Skoglund1, Tobias J. Oechtering1
1 KTH Royal Institute of Technology
2 KTH Royal Institute of Technology and Inria Saclay
12:06-12:30
DPEI: Privacy Budget Savings for Edge Information Protection in Synthetic Graph Publishing (abstract) 24 min
Ruizhong Du1, Zizhan Wei1, Mingyue Li1
1 Hebei University
12:30-14:00 Lunch CSF
Location: B2.03
14:00-15:30 Quantitative Information Flow CSF
Location: B2.03
14:00-14:24
A new measure for dynamic leakage based on quantitative information flow (abstract) 24 min
Luigi D. C. Soares1, Mário S. Alvim2, Natasha Fernandes3
1 UFMG and Macquarie University
2 UFMG
3 Macquarie University
14:24-14:48
Information Leakage Envelopes (abstract) 24 min
Sara Saeidian1, Carlos Pinzón2, Catuscia Palamidessi2
1 KTH Royal Institute of Technology and Inria
2 Inria and École Polytechnique
14:48-15:12
Beyond Epsilon: A Principled QIF Framework for Local Differential Privacy (abstract) 24 min
Ramon G. Gonze1,5, Natasha Fernandes2, Heber H. Arcolezi3, Catuscia Palamidessi4, Nataliia Bielova4
1 Institut Polytechnique de Paris
2 Macquarie University
3 ETS Montréal
4 Inria
5 Universidade Federal de Minas Gerais
15:30-16:00 Coffee Break CSF
Location: B2.03
16:00-17:00 Side-Channel & Speculative Defenses CSF
Location: B2.03
16:00-16:24
Formal Verification of Probing Security via Conditional Independence (abstract) 24 min
Satoshi Kura1, Katsuyuki Takashima1
1 Waseda University
16:24-16:48
Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking (abstract) 24 min
Jonathan Baumann1, Yonghyun Kim1, Yan Farba2, Catalin Hritcu1, Julay Leatherman-Brooks3
1 MPI-SP
2 MPI-SP and Ruhr University Bochum
3 MPI-SP and Portland State University
Monday, 27 July 2026
09:00-10:00 Invited Talk CSF
Location: B2.03
09:00-10:00
Analyzing the Security of Privacy Preserving Systems Built from Ideal Cryptographic Functionalities (abstract) 60 min
Kenny Paterson1
1 ETH Zurich
10:00-10:30 Coffee Break CSF
Location: B2.03
10:30-12:30 Symbolic Protocol Verification CSF
Location: B2.03
10:30-10:54
Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (abstract) 24 min
Sofia Giampietro1, Ralf Sasse1, David Basin1
1 ETH Zürich
10:54-11:18
Tamarin Unchained: Handling User-Defined AC Operators (abstract) 24 min
Jannik Dreier1, Elise Klein1, Steve Kremer1
1 Université de Lorraine, CNRS, Inria, LORIA
11:18-11:42
Incremental Fingerprinting in an Open World (abstract) 24 min
Loes Kruger1, Paul Kobialka2, Andrea Pferscher2, Einar Broch Johnsen2, Sebastian Junges1, Jurriaan Rot1
1 Radboud University
2 University of Oslo
11:42-12:06
Mind the Gap -- Connecting Protocol Representations in Squirrel (abstract) 24 min
David Baelde1, Stéphanie Delaune1, Julia Gabet, Clément Hérouard1
1 Univ Rennes, CNRS, IRISA
12:06-12:30
Verifying and Monitoring the Lightweight Directory Access Protocol (LDAP) (abstract) 24 min
Ndzebelai Precious Zemoh1, Robert Künnemann2
1 University of Bamenda
2 CISPA Helmholtz Center for Information Security
12:30-14:00 Lunch CSF
Location: B2.03
14:00-16:00 Computer-Aided Cryptography CSF
Location: B2.03
14:00-14:24
Are ideal functionalities really ideal? (abstract) 24 min
Myrto Arapinis1, Véronique Cortier2, Hubert de Groote3, Charlie Jacomme4, Steve Kremer4
1 The University of Edinburgh
2 Université de Lorraine, CNRS, Inria, LORIA
3 ENS Paris-Saclay, Université Paris-Saclay
4 Université de Lorraine, Inria, CNRS, LORIA
14:24-14:48
Computationally Sound Symbolic Cryptography in Lean (abstract) 24 min
Stefan Dziembowski1, Grzegorz Fabiański2, Daniele Micciancio3, Rafał Stefański2
1 University of Warsaw and IDEAS Institute
2 University of Warsaw
3 UCSD
14:48-15:12
Mechanizing Nested Hybrid Arguments (abstract) 24 min
Markus Krabbe Larsen1, Carsten Schürmann1
1 IT University of Copenhagen
15:12-15:36
Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography (abstract) 24 min
Caroline Fontaine1, Adrien Koutsos2, Guillaume Scerri1, Théo Vignon1
1 Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles
2 Inria
15:36-16:00
Forking Lemma in EasyCrypt (abstract) 24 min
Jakub Janků1, Denis Firsov2
1 Masaryk University
2 Tallinn University of Technology, Input Output
16:00-16:30 Coffee Break CSF
Location: B2.03
16:30-18:00 Information Flow & Secure Composition CSF
Location: B2.03
16:30-16:54
Dolev-Yao Information Flow (abstract) 24 min
Simon Tobias Lund1, Sebastian Mödersheim2
1 Technical University of Denmark
2 DTU
16:54-17:18
Partial Cast Calculus for Gradual Information Security (abstract) 24 min
Zechi Shen1, Zhiwu Xu1, Shengchao Qin2, Zhong Ming1
1 Shenzhen University
2 Xidian University
17:18-17:42
Cryptographic Choreographies (abstract) 24 min
Sebastian Mödersheim1, Simon Tobias Lund2, Marco Carbone3, Rosario Giustolisi3, Alessandro Bruni3
1 DTU
2 Technical University of Denmark
3 ITU
18:00-19:00 Business meeting CSF
Location: B2.03
Tuesday, 28 July 2026
10:00-10:30 Coffee Break CSF
Location: B2.03
10:30-12:30 E-Voting & Anonymity CSF
Location: B2.03
10:30-10:54
On the necessity of pre-agreed secrets for thwarting last-minute coercion: vulnerabilities and lessons from the Loki e-voting protocol (abstract) 24 min
Jingxin Qiao1, Myrto Arapinis1, Thomas Zacharias2
1 The University of Edinburgh
2 University of Glasgow
10:54-11:18
Setup Protocols for Sender Anonymity (abstract) 24 min
Tian Huang1, Jiatai Zhang2, Megumi Ando1
1 Tufts University
2 Rensselaer Polytechnic Institute
11:18-11:42
Simultaneously Proving Privacy and Verifiability: A ProVerif Framework for Internet Voting (abstract) 24 min
Vincent Cheval1, Veronique Cortier2, Alexandre Debant3, Florian Moser3
1 University of Oxford
2 CNRS Nancy
3 INRIA Nancy
11:42-12:06
Beyond Blockchain Ballots: UC-Secure Layer-2 Voting and Governance (abstract) 24 min
Raghav Bhaskar1, Pooya Farshim2, Matthias Fitzi2, Aggelos Kiayias3
1 None
2 Input Output
3 University of Edinburgh and Input Output
12:06-12:30
BlindReview: Anonymous and End-to-End Verifiable Peer Review (abstract) 24 min
Xavier Bultel1, Ashley Fraser2, Elizabeth A. Quaglia3
1 INSA Centre Val de Loire, Inria
2 Lancaster University
3 Royal Holloway, University of London
12:30-14:00 Lunch CSF
Location: B2.03
14:00-16:00 Cryptographic Primitives & Protocols CSF
Location: B2.03
14:00-14:24
A Composable Game-Theoretic Framework for Blockchains (abstract) 24 min
Pim Keer1, Fabian Regen1, Georg Fuchsbauer1, Matteo Maffei1, Zeta Avarikioti2
1 TU Wien
2 TU Wien & Common Prefix
14:24-14:48
NTRU with Hints: Secret Key Recovery under Partial Leakage on NTRU-based Signatures (abstract) 24 min
Honglin Shao1, Yuejun Liu1, Mingyao Shao2,3,6, Wei Cheng1,4, Yongbin Zhou1,5
1 School of Cyber Science and Engineering, Nanjing University of Science and Technology, Nanjing 210094, China
2 Institute of Information Engineering, Chinese Academy of Sciences
3 the State Key Laboratory of Cyberspace Security Defense
4 and also with LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau 91120, France
5 the Institute of Information Engineering, Chinese Academy of Sciences, Beijing 100085, China
6 and the School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China
14:48-15:12
Self-Guarding Arbitrary Cryptographic Primitives and 2PC Protocols (abstract) 24 min
Daniele Friolo1, Andrea Reale1, Daniele Venturi1
1 Sapienza University of Rome
15:12-15:36
Revisiting Beimel-Weinreb Weighted Threshold Secret Sharing Schemes (abstract) 24 min
Oriol Farràs1, Miquel Guiot1
1 Universitat Rovira i Virgili
15:36-16:00
Time-Lock Puzzles with Preprocessing: an Instantiation from Average-Case Hardness Assumptions on Graphs and Lattices (abstract) 24 min
Raz Rosie1
1 Lombard International (part of Utmost Group)
16:00-16:30 Coffee Break CSF
Location: B2.03
16:30-18:00 Machine Learning Security & Privacy CSF
Location: B2.03
16:30-16:54
Efficient Homomorphic Encryption-Based CNN Batch Inference Using Channel-Interleaved Packing with Small Rotation Key Set (abstract) 24 min
Haun-Chih Wang1, Ja-Ling Wu1
1 National Taiwan University
16:54-17:18
Towards Strong Certified Defense with Universal Asymmetric Randomization (abstract) 24 min
Hanbin Hong1, Ali Payani2, Ashish Kundu2, Binghui Wang3, Yuan Hong1
1 University of Connecticut
2 Cisco
3 Illinois Institute of Technology
17:18-17:42
LAP$_2$: Revisiting Laplace DP-SGD for High Dimensions via Majorization Theory (abstract) 24 min
Meisam Mohammady1, Qin Yang2, Nicholas Stout1, Ayesha Samreen1, Han Wang3, Christopher J Quinn1, Yuan Hong2
1 Iowa State University
2 University of Connecticut
3 University of Kansas
Wednesday, 29 July 2026
09:00-10:30 Authenticity & Identity CSF
Location: B2.03
09:00-09:24
On the design of Survivable Distributed Passwordless Authentication and Single Sign-On (abstract) 24 min
Luca Ferretti1, Federico Magnanini1, Mauro Andreolini1, Mattia Trabucco1, Michele Colajanni2
1 University of Modena and Reggio Emilia
2 University of Bologna
09:24-09:48
Formalizing Privacy in Decentralized Identity: A Provably Secure Framework with Minimal Disclosure (abstract) 24 min
Yu Zhang1, Zongbin Wang2
1 Northwestern Polytechnical University
2 Beijing Infosec Technologies Co., Ltd.
09:48-10:12
Zero-Knowledge Proof of Progress: Secure Multi-Phase Capture-the-Flag Competitions (abstract) 24 min
Salam Khanji1, Behzad Abdolmaleki1, John Clark1, Aryan Pasikhani1
1 University of Sheffield
10:30-11:00 Coffee Break CSF
Location: B2.03
11:00-12:30 Attack Trees & Risk Analysis CSF
Location: B2.03
11:00-11:24
A unified compositional view of attack tree metrics (abstract) 24 min
Benedikt Peterseim1, Milan Lopuhaä-Zwakenberg1
1 University of Twente
11:24-11:48
Active Cyber Defense Strategy through Multi-Agent Systems Verification (abstract) 24 min
Gabriel Ballot1, Etienne Borde2, Vadim Malvone3, Jean Leneutre3
1 SEIDO Lab, EDF R&D and LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France
2 University of Canterbury
3 LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France
11:48-12:12
Which attacks are most critical? Risk prioritization via attack tree importance measures (abstract) 24 min
Reza Soltani1, Milan Lopuhaä-Zwakenberg1, Mariëlle Stoelinga1
1 University of Twente
12:30-14:00 Lunch CSF
Location: B2.03
15:30-16:30 Coffee Break CSF
Location: B2.03
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑