003 – Security Model for Authenticated Key Exchange, Reconsidered
Xichen Zhang, Keitaro Hashimoto, and Wakaha OgataTokyo Institute of Technology; National Institute of Advanced Industrial Science and Technology (AIST)
010 – Efficient Universally-Verifiable Electronic Voting with Everlasting Privacy
David PointchevalDIENS, 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 WatersUCBS; 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 LarangeiraIT 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 YanNanyang Technological University; National University of Singapore; Xidian University
021 – CaSCaDE: (Time-Based) Cryptography from Space Communications Delay
Carsten Baum, Bernardo David, Elena Pagnin, Akira TakahashiTechnical 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 YadavUniversity of Massachusetts Amherst; George Mason University
029 – Client-Aided Privacy-Preserving Machine Learning
Peihan Miao, Xinyi Shi, Chao Wu, Ruofan XuBrown University; UC Riverside; University of Illinois Urbana-Champaign
031- Impossible Differential Cryptanalysis of the Raindrop Block Cipher
Jiqiang Lu, Xiao ZhangBeihang 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 ParkZama; 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 TuckerAarhus University; University of Bordeaux; University of Montpellier; Zondax
037 – Attribute-based Keyed Fully Homomorphic Encryption
Keita Emura, Shingo Sato, and Atsushi TakayasuKanazawa University; Yokohama National University; The University of Tokyo.
041 – Shared-Custodial Password-Authenticated Deterministic Wallets
Poulami Das, Andreas Erwig, and Sebastian FaustCISPA Helmholtz Center for Information Security; TU Darmstadt
044 – Round Efficient Byzantine Agreement from VDFs
Poulami Das, Lisa Eckey, Sebastian Faust, Julian Loss, and Monosij MaitraCISPA 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 GellesThe Hebrew University of Jerusalem; NTT Research
049 – Universally Composable Relaxed Asymmetric Password-Authenticated Key Exchange
Shuya Hanai, Keisuke Tanaka, Masayuki Tezuka, Yusuke YoshidaTokyo Institute of Technology
054 – Mystrium: Wide Block Encryption efficient on Entry-Level Processors
Parisa Amiri Eliasi, Koustabh Ghosh, Joan DaemenRadboud University
055 – Cryptanalysis of EagleSign
Ludo Pulles, Mehdi TibouchiCWI Amsterdam; NTT Social Informatics Laboratories
056 – Encrypted Multi-map that Hides Query, Access, and Volume Patterns
Alexandra Boldyreva, Tianxin TangGeorgia 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 OhkuboNTT Laboratories; IOHK; NICT
063 – Exponential Quantum One-Wayness and EFI Pairs
Giulio Malavolta, Tomoyuki Morimae, Michael Walter, Takashi YamakawaMax 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 SahaTII, 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 PietrzakAWS Wickr; ISTA; ETH Zurich
070 – Practical Traceable Receipt-Free Encryption
Henri Devillez, Thomas Peters, Olivier PereiraUC Louvain; Microsoft Research
074 – Instantiating the Hash-Then-Evaluate Paradigm: Strengthening PRFs, PCFs, and OPRFs.
Pierre Meyer, Chris Brzuska, Geoffroy Couteau, Pihla Karanko, Christoph EggerAalto University; Université Paris Cité, CNRS, IRIF; Aarhus University
077 – On the Concrete Security of Non-interactive FRI
Alexander R. Block, Pratyush Ranjan TiwariGeorgetown 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 GaurDRDO; Indian Statistical Institute; University of Delhi
079 – How (Not) to Simulate PLONK
Marek SefranekTU Wien
083 – LR-OT: Leakage-Resilient Oblivious Transfer
Francesco Berti, Itamar Levi, Carmit HazayBar-Ilan University
090 – LaPSuS – A Lattice-Based Private Stream Aggregation Scheme under Scrutiny
Alexander Koch, Johannes OttenhuesUniversity of St. Gallen; CNRS/Université Paris Cité
091 – Shuffle Arguments Based on Subset-Checking
Prastudy Mungkas Fauzi, Janno Siim, Behzad Abdolmaleki, Toomas KripsUniversity 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 VizarTU Vienna; COSIC, KU Leuven; CSEM