Final program

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