Tuesday September 10
19:00 – 20:30 Registration & Welcome Cocktail @ Hotel La Bussola
Wednesday September 11
08:50 – 09:00 Opening Remarks
9:00 – 10:00 Invited Talk
Chair: Hieu Phan
Speaker: Yevgeniy Dodis
Title: Random Number Generation and Extraction
10:00 – 10:30 Coffee Break
10:30-12:35 Zero-Knowledge
Chair: Pino Persiano
- NIZKs with Maliciously Chosen CRS: Subversion Advice-ZK and Accountable Soundness
Prabhanjan Ananth, Gilad Asharov, Vipul Goyal, Hadar Kaner, Pratik Soni, and Brent Waters - zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs
Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp
Jovanovic, Arthur Gervais , Benjamin Livshits, and Michele Orrù - Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of Σ-protocols
Masayuki Abe, Miguel Ambrona, Miyako Ohkubo - How (Not) to Simulate PLONK
Marek Sefranek - LaPSuS – A Lattice-Based Private Stream Aggregation Scheme under Scrutiny
Alexander Koch, Johannes Ottenhues
12:35 – 15:00 Lunch Break
15:00 – 16:15 Voting
Chair: Carlo Blundo
- Efficient Universally-Verifiable Electronic Voting with Everlasting Privacy
David Pointcheval - Shuffle Arguments Based on Subset-Checking
Prastudy Mungkas Fauzi, Janno Siim, Behzad Abdolmaleki, Toomas Krips - Practical Traceable Receipt-Free Encryption
Henri Devillez, Thomas Peters, Olivier Pereira
16:15 – 16:45 Coffee Break
16:45 – 18:25 Homomorphic Encryption + Cryptanalysis I
Chair: David Pointcheval
- Faster Private Decision Tree Evaluation for Batched Input from Homomorphic Encryption
Kelong Cong, Jiayi Kang, Georgio Nicolas, Jeongeun Park - An Improved Threshold Homomorphic Cryptosystem Based on Class Groups
Lennart Braun, Guilhem Castagnos, Ivan Damgård, Fabien Laguillaumie, Kelsey Melissaris, Claudio Orlandi, and Ida Tucker - Attribute-based Keyed Fully Homomorphic Encryption
Keita Emura, Shingo Sato, and Atsushi Takayasu - A New Algorithm for Computing Branch Number of Non-Singular Matrices over Finite Fields
Yogesh Kumar, P.R. Mishra, Susanta Samanta, Atul Gaur
Thursday September 12
09:00 – 10:00 Invited Talk
Chair: Mehdi Tibouchi
Speaker: Alice Pellet-Mary
Title: Lattice-based cryptography, the picture way
10:00 – 10:30 Coffee Break
10:30-12:35 Protocols
Chair: Miyako Ohkubo
- Cryptanalysis of EagleSign
Ludo Pulles, Mehdi Tibouchi - Encrypted Multi-map that Hides Query, Access, and Volume Patterns
Alexandra Boldyreva, Tianxin Tang - CaSCaDE: (Time-Based) Cryptography from Space Communications DElay
Carsten Baum, Bernardo David, Elena Pagnin, Akira Takahashi - On the Concrete Security of Non-interactive FRI
Alexander R. Block, Pratyush Ranjan Tiwari - Scalable Agreement Protocols with Optimal Optimistic Efficiency
Ilan Komargodski, Yuval Gelles
12:35 – 15:00 Lunch Break
15:00 – 16:15 Key Management
Chair: Bernardo David
- Security Model for Authenticated Key Exchange, Reconsidered
Xichen Zhang, Keitaro Hashimoto, and Wakaha Ogata - Universally Composable Relaxed Asymmetric Password-Authenticated Key Exchange
Shuya Hanai, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida - DeCAF: Decentralizable CGKA with Fast Healing
Joël Alwen, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Pietrzak
16:15 – 16:45 Coffee Break
16:45 – 17:35 Blockchain
Chair: Ivan Visconti
- MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications
Bernardo David, Rafael Dowsley, Anders Konring, Mario Larangeira - Shared-Custodial Password-Authenticated Deterministic Wallets
Poulami Das, Andreas Erwig, and Sebastian Faust
18:00 – 20:00 Excursion
20:00 Social Dinner @La Locanda del Marinaio
Friday September 13
09:00 – 10:15 Symmetric Encryption
Chair: Masayuki Abe
- Mystrium: Wide Block Encryption efficient on Entry-Level Processors
Parisa Amiri Eliasi, Koustabh Ghosh, Joan Daemen - Instantiating the Hash-Then-Evaluate Paradigm: Strengthening PRFs, PCFs, and OPRFs.
Pierre Meyer, Chris Brzuska, Geoffroy Couteau, Pihla Karanko, Christoph Egger - OAE-RUP: A Strong Online AEAD Security Notion and its Application to SAEF
Amit Singh Bhati, Elena Andreeva, Damian Vizar
10:15 – 10:45 Coffee Break
10:45 – 12:25 Foundations
Chair: Thomas Peters
- Exponential Quantum One-Wayness and EFI Pairs
Giulio Malavolta, Tomoyuki Morimae, Michael Walter, Takashi Yamakawa - Round Efficient Byzantine Agreement from VDFs
Poulami Das, Lisa Eckey, Sebastian Faust, Julian Loss, and Monosij Maitra - Universal Vector Commitments
Ojaswi Acharya, Foteini Baldimtsi, Samuel Dov Gordon, Daniel McVicker, Aayush Yadav - LR-OT: Leakage-Resilient Oblivious Transfer
Francesco Berti, Itamar Levi, Carmit Hazay
12:25 – 15:00 Lunch Break
15:00 – 15:50 Symmetric Encryption + Cryptanalysis
Chair: Clemente Galdi
- Impossible Differential Cryptanalysis of the Raindrop Block Cipher
Jiqiang Lu, Xiao Zhang - Indifferentiability of 3-round Confusion-Diffusion Networks
Ritam Bhaumik, Mridul Nandi, Sayantan Paul, Abishanka Saha
15:50 – 16:20 Coffee Break
16:20 – 17:10 Protocols II
Chair: Sebastian Faust
- Succinct Non-Subsequence Arguments
San Ling, Khai Hanh Tang, Van Khu Vu, Huaxiong Wang. Yingfei Yan - Client-Aided Privacy-Preserving Machine Learning
Peihan Miao, Xinyi Shi, Chao Wu, Ruofan Xu
17:10 Closing Remarks & Farewell
Saturday September 14
09:00 – 12:00 Steering Committee Meeting