SCN 2024 – Accepted Papers

003 – Security Model for Authenticated Key Exchange, Reconsidered

Xichen Zhang, Keitaro Hashimoto, and Wakaha Ogata
Tokyo Institute of Technology; National Institute of Advanced Industrial Science and Technology (AIST)

010 – Efficient Universally-Verifiable Electronic Voting with Everlasting Privacy

David Pointcheval
DIENS, ENS, CNRS, Inria, PSL University

015 – NIZKs with Maliciously Chosen CRS: Subversion Advice-ZK and Accountable Soundness

Prabhanjan Ananth, Gilad Asharov, Vipul Goyal, Hadar Kaner, Pratik Soni, and Brent Waters
UCBS; Bar-Ilan Univ.; CMU & NTT Research; Bar-Ilan Univ.; Univ. of Utah; Utexas & NTT Research

017 – MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications

Bernardo David, Rafael Dowsley, Anders Konring, Mario Larangeira
IT Univ. of Copenhagen; Monash University; Espresso Systems; Tokyo Institute of Technology & IOG

019 – Succinct Non-Subsequence Arguments

San Ling, Khai Hanh Tang, Van Khu Vu, Huaxiong Wang, Yingfei Yan
Nanyang Technological University; National University of Singapore; Xidian University

021 – CaSCaDE: (Time-Based) Cryptography from Space Communications Delay

Carsten Baum, Bernardo David, Elena Pagnin, Akira Takahashi
Technical Univ. of Denmark; IT Univ. of Copenhagen; Chalmers Univ.; J.P.Morgan AI Research & AlgoCRYPT CoE

023 – Universal Vector Commitments

Ojaswi Acharya, Foteini Baldimtsi, Samuel Dov Gordon, Daniel McVicker, Aayush Yadav
University of Massachusetts Amherst; George Mason University

029 – Client-Aided Privacy-Preserving Machine Learning

Peihan Miao, Xinyi Shi, Chao Wu, Ruofan Xu
Brown University; UC Riverside; University of Illinois Urbana-Champaign

031- Impossible Differential Cryptanalysis of the Raindrop Block Cipher

Jiqiang Lu, Xiao Zhang
Beihang University; State Key Laboratory of Cryptology; Beihang University

035 – Faster Private Decision Tree Evaluation for Batched Input from Homomorphic Encryption

Kelong Cong, Jiayi Kang, Georgio Nicolas, Jeongeun Park
Zama; KU Leuven; Norwegian University of Science and Technology (NTNU)

036 – 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
Aarhus University; University of Bordeaux; University of Montpellier; Zondax

037 – Attribute-based Keyed Fully Homomorphic Encryption

Keita Emura, Shingo Sato, and Atsushi Takayasu
Kanazawa University; Yokohama National University; The University of Tokyo.

041 – Shared-Custodial Password-Authenticated Deterministic Wallets

Poulami Das, Andreas Erwig, and Sebastian Faust
CISPA Helmholtz Center for Information Security; TU Darmstadt

044 – Round Efficient Byzantine Agreement from VDFs

Poulami Das, Lisa Eckey, Sebastian Faust, Julian Loss, and Monosij Maitra
CISPA Helmholtz Center for Information Security; TU Darmstadt; IIT Kharagpur

045 – 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ù
TU Munich, Imperial College London, Ethereum Foundation, University College London, CNRS

046 – Scalable Agreement Protocols with Optimal Optimistic Efficiency

Ilan Komargodski, Yuval Gelles
The Hebrew University of Jerusalem; NTT Research

049 – Universally Composable Relaxed Asymmetric Password-Authenticated Key Exchange

Shuya Hanai, Keisuke Tanaka, Masayuki Tezuka, Yusuke Yoshida
Tokyo Institute of Technology

054 – Mystrium: Wide Block Encryption efficient on Entry-Level Processors

Parisa Amiri Eliasi, Koustabh Ghosh, Joan Daemen
Radboud University

055 – Cryptanalysis of EagleSign

Ludo Pulles, Mehdi Tibouchi
CWI Amsterdam; NTT Social Informatics Laboratories

056 – Encrypted Multi-map that Hides Query, Access, and Volume Patterns

Alexandra Boldyreva, Tianxin Tang
Georgia Institute of Technology; Eindhoven University of Technology

060 – Hybrid Zero-Knowledge from Garbled Circuits and Circuit-Based Composition of $\Sigma$-protocols

Masayuki Abe, Miguel Ambrona, Miyako Ohkubo
NTT Laboratories; IOHK; NICT

063 – Exponential Quantum One-Wayness and EFI Pairs

Giulio Malavolta, Tomoyuki Morimae, Michael Walter, Takashi Yamakawa
Max Planck Institute for Security and Privacy; Kyoto University; Ruhr University Bochum; NTT Social Informatics Laboratories; NTT Research Center for Theoretical Quantum Information

064 – Indifferentiability of 3-round Confusion-Diffusion Networks

Ritam Bhaumik, Mridul Nandi, Sayantan Paul, Abishanka Saha
TII, UAE; Indian Statistical Institute

068 – DeCAF: Decentralizable CGKA with Fast Healing

Joël Alwen, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Pietrzak
AWS Wickr; ISTA; ETH Zurich

070 – Practical Traceable Receipt-Free Encryption

Henri Devillez, Thomas Peters, Olivier Pereira
UC Louvain; Microsoft Research

074 – Instantiating the Hash-Then-Evaluate Paradigm: Strengthening PRFs, PCFs, and OPRFs.

Pierre Meyer, Chris Brzuska, Geoffroy Couteau, Pihla Karanko, Christoph Egger
Aalto University; Université Paris Cité, CNRS, IRIF; Aarhus University

077 – On the Concrete Security of Non-interactive FRI

Alexander R. Block, Pratyush Ranjan Tiwari
Georgetown University and University of Maryland; Johns Hopkins University

078 – A New Algorithm for Computing Branch Number of Non-Singular Matrices over Finite Fields

Yogesh Kumar, P.R. Mishra, Susanta Samanta, Atul Gaur
DRDO; Indian Statistical Institute; University of Delhi

079 – How (Not) to Simulate PLONK

Marek Sefranek
TU Wien

083 – LR-OT: Leakage-Resilient Oblivious Transfer

Francesco Berti, Itamar Levi, Carmit Hazay
Bar-Ilan University

090 – LaPSuS – A Lattice-Based Private Stream Aggregation Scheme under Scrutiny

Alexander Koch, Johannes Ottenhues
University of St. Gallen; CNRS/Université Paris Cité

091 – Shuffle Arguments Based on Subset-Checking

Prastudy Mungkas Fauzi, Janno Siim, Behzad Abdolmaleki, Toomas Krips
University of Sheffield; Nanyang Technological University; University of Tartu; Simula UiB

097 – OAE-RUP: A Strong Online AEAD Security Notion and its Application to SAEF

Amit Singh Bhati, Elena Andreeva, Damian Vizar
TU Vienna; COSIC, KU Leuven; CSEM