Sunday September 13
19:00 – 20:30 Registration & Welcome Cocktail @ Hotel La Bussola
Monday September 14
08:50 – 09:00 Opening Remarks
9:00 – 10:00 Invited Talk
Chair: Pino Persiano
Speaker: Willy Quach
Title: The Power and Limits of Indistinguishability Obfuscation
10:00 – 10:30 Coffee Break
10:30-12:35 Signature Schemes
Chair: Anasuya Acharya
- Signatures with Post-Compromise Accountability
Dennis Dayanikli, Johannes Lang and Anja Lehmann - Bittersweet Signatures: Bringing LWR to a Picnic for Hardware-Friendly MPC-in-the-Head
Brieuc Balon, Gianluca Brian, Sebastian Faust, Carmit Hazay, Elena Micheli and François-Xavier Standaert - Updatable Signatures from Perfectly Adaptive Signatures with Rerandomizable Keys: a Generic Framework and Post-Quantum Realization
Surbhi Shaw, Pratima Jana and C. Pandu Rangan - Practical Adaptor Signatures: Security and Applications
Pavel Hubáček, Kristýna Mašková and Berenika Richterová - Post-Quantum Anonymous Signatures from the Lattice Isomorphism Group Action
Chris van Noorden and Paola de Perthuis
12:35 – 15:00 Lunch Break
15:00 – 16:15 Secure Computation I
Chair: Lennart Braun
- Topology-Hiding Computation From Key Agreement in Diameter-Two Graphs
D’Or Banoun, Elette Boyle and Ran Cohen - Compressed Post-Quantum Silent OT from Isogenies
Pouria Fallahpour, Arthur Herlédan Le Merdy and Mahshid Riahinia - The Quantum Decoherence Model: Everlasting Composable Secure Computation and More
Nico Döttling, Alexander Koch, Sven Maier, Jermias Mechler, Anne Müller, Joern Mueller-Quade and Kevin Marcel Tiepelt
16:15 – 16:45 Coffee Break
16:45 – 18:25 Proof Systems
Chair: Willy Quach
- Circuit-Succinct Algebraic Batch Arguments from Projective Functional Commitments
David Balbás, Dario Fiore and Russell W. F. Lai - On the Power of Polynomial Preprocessing: Proving Computations in Sublinear Time, and More
Matteo Campanelli, Mario Carrillo, Ignacio Cascudo, Dario Fiore, Danilo Francati and Rosario Gennaro - Proof-Carrying Data via Holography Accumulation
Nikitas Paslis, Carla Ràfols and Alexandros Zacharakis - Revisiting Simulation Extractability in the Updatable Setting
Hamidreza Khoshakhlagh
Tuesday September 15
09:00 – 10:00 Invited Talk
Chair: Luisa Siniscalchi
Speaker: Dakshita Khurana
Title: Quantum-Native Assumptions in Cryptography
10:00 – 10:30 Coffee Break
10:30-12:35 Encryption Schemes
Chair: Hamidreza Khoshakhlagh
- Ciphertext-Updatable Attribute-Based and Predicate Encryption from Lattices
Robert Schädlich, Linda Scheu-Hachtel, Erkan Tairi and Yuejun Wang - (Fine-Grained) Unbounded Inner-Product Functional Encryption from LWE
Valerio Cini and Erkan Tairi
Traitor Tracing in Multi-sender Setting (TMCFE: Traceable Multi-client Functional Encryption)
Xuan Thanh Do, Dang Truong Mac, Ky Nguyen, Duong Hieu Phan and Quoc-Huy Vu - On the Costs of Multi-Server Volume-Hiding
Amine Bahi, Marilyn George, Seny Kamara and Tarik Moataz - SCORE: A SlotToCoeff Optimization for Real-Vector Encryption in CKKS
Tim Seuré
12:35 – 15:00 Lunch Break
15:00 – 16:15 Secure Computation II
Chair: Divya Ravi
- Malicious Security for Sparse Private Histograms
Lennart Braun, Adria Gascon, Mariana Raykova, Phillipp Schoppmann and Karn Seth - Tail-Hammer: Optimized Statistics for Anonymous Committees and Applications
Bernardo David, Lucia Lavagnino, Elena Pagnin and Paul Stankovski Wagner - Packed Pre-Constructed PVSS for Randomness Generation and E-Voting
Karim Baghery, Eleftheria Makri and Dheeraj Suryakari
16:15 – 16:45 Coffee Break
16:45 – 17:35 Distributed ledger technologies
Chair: Bernardo David
- Atlantis: Lattice-based Anonymous Tokens with Private Metadata Bit
Foteini Baldimtsi and Aayush Yadav - Adaptively Secure Fast Settlement with Dynamic Participation and Self-Healing
Christian Badertscher, Sandro Coretti, Peter Gaži, Aggelos Kiayias and Alexander Russell
18:00 – 20:00 Excursion
20:00 Social Dinner
Wednesday September 16
09:00 – 10:15 Key Management I
Chair: Barbara Masucci
- Binding Security of Combined KEMs: An Analysis of Real-World KEM Combiners
Juliane Krämer, Patrick Struck and Maximiliane Weishäupl - Multi-Instance Security Degradation of Code-Based KEMs
Alexander May and Gabriel Sá Diogo - The Key Control Security of KDF Combiners
Ritam Bhaumik
10:15 – 10:45 Coffee Break
10:45 – 12:25 Garbled Circuits and Zero Knowledge
Chair: Eleftheria Makri
- The Landscape of Reusable Garbling
Anasuya Acharya, Carmit Hazay and Rahul Satish - Oblivious Garbling and its Applications
Tomer Ashur, Carmit Hazay and Rahul Satish - A Note on Zero-Knowledge for $\NP$ and One-Way Functions
Yanyi Liu, Noam Mazor and Rafael Pass - ZK-JPEG: Zero-knowledge Image Editing and Compression
Samuel Dittmer, Steve Lu, Kimberlee Model and Joseph Near
12:25 – 15:00 Lunch Break
15:00 – 15:50 Key Management II
Chair: Gianluca Brian
- X3DH with Deniable Authentication without Trusted Third Parties
Stanislaw Jarecki, Phillip Nazarian and Apurva Rai - Key Transport over Untrusted QKD Relay Networks
Sebastian Clermont, Antoine Gansel and Patrick Struck
15:50 – 16:20 Coffee Break
16:20 – 17:10 Post-Quantum and Dynamic Security
Chair: Luisa Siniscalchi
- Post-quantum Security of Tweakable Key-Alternating Feistel Ciphers in the Multi-key Setting
Rentaro Shiba and Tetsu Iwata - Dynamic Security: A Realistic Approach to Adaptive Security With Applications to Strong FaF Security
Bar Alon and Naty Peter
17:35 Closing Remarks & Farewell
Thursday September 17