All Papers
There is also a more detailed view with abstracts, categories, math rendering, and timestamps.
AES-Based Grinding for MPC-in-the-Head Signatures
Matthieu Rivain
Matthieu Rivain
Code Generation of Faster Formally Verified NTT with Plantard Reduction
Donnie Y. Xu, Rajeev Gore, Amin Sakzad, Ron Steinfeld, and Raymond K. Zhao
Donnie Y. Xu, Rajeev Gore, Amin Sakzad, Ron Steinfeld, and Raymond K. Zhao
Triple Cryptanalysis of Isogeny-Based VRFs from Asiacrypt 2025
Yi-Fu Lai, Yu Yu, and Xiaogang Zhou
Yi-Fu Lai, Yu Yu, and Xiaogang Zhou
Formal Security Analysis of the Olvid Messenger
Noemi Terzo, Cas Cremers, Ruben Gonzalez, Peter Schwabe, Yuval Yarom, and Zhiyuan Zhang
Noemi Terzo, Cas Cremers, Ruben Gonzalez, Peter Schwabe, Yuval Yarom, and Zhiyuan Zhang
Z-SCAPE: Zero-Knowledge Self-Custodial Credential Operation for Privacy-Preserving Asset Protection under Entropy-Source Failure
Mehmet Sabir Kiraz and Suleyman Kardas
Mehmet Sabir Kiraz and Suleyman Kardas
Extending the Applicability of Algebraic Key Recovery Attacks on the UOV Signature Scheme
Yasuhiko Ikematsu and Hiroki Furue
Yasuhiko Ikematsu and Hiroki Furue
Relect: Single Secret Leader Election via FHE with Reduced Computation and Communication and Transparent Setup
Haofei Liang, Zeyu Liu, Yunhao Wang, Xiang Xie, Yu Yu, and Fan Zhang
Haofei Liang, Zeyu Liu, Yunhao Wang, Xiang Xie, Yu Yu, and Fan Zhang
Two-Limb CRT Ring-LWE Encryption with Exact Decryption and Public Re-randomization
Damir Vodenicarevic, Andrei Fleiser, Pierre Seznec, Karen Mayen Naranjo, Lucas Foucher, Léo Besançon, Thybault Alabarbe, Jean-François Morcillo, Benjamin Reynes, and Lilian Urvoy
Damir Vodenicarevic, Andrei Fleiser, Pierre Seznec, Karen Mayen Naranjo, Lucas Foucher, Léo Besançon, Thybault Alabarbe, Jean-François Morcillo, Benjamin Reynes, and Lilian Urvoy
Verifiable SelfMix
Doron Zarchy
Doron Zarchy
Flip a Failure into a Success: Improved Bit Flipping Decoding for QC-MDPC Codes
Paolo Santini, Davide De Zuane, Alessio Baldelli, and Marco Baldi
Paolo Santini, Davide De Zuane, Alessio Baldelli, and Marco Baldi
KORD: Breaking the Key-Generation Bottleneck in Dealerless Function Secret Sharing via Protocol–Hardware Co-Design
Yijing Peng, Lin Liu, Yujie Xue, Shaojing Fu, Shaoqing Li, Yaohua Wang, Rongmao Chen, and Yang Guo
Yijing Peng, Lin Liu, Yujie Xue, Shaojing Fu, Shaoqing Li, Yaohua Wang, Rongmao Chen, and Yang Guo
LFSRs and Boolean Masking: An In-depth Security Analysis
Anna Guinet, Jan Schoone, Niklas Höher, Dina Hesse, and Tim Güneysu
Anna Guinet, Jan Schoone, Niklas Höher, Dina Hesse, and Tim Güneysu
DuetORAM: Two-Server Distributed ORAM with Constant Rounds and O(log N) Communication
Feng Li, Xiangfu Song, Yingying Li, Lisha Yao, Guomin Yang, Tianwei Zhang, and Robert H. Deng
Feng Li, Xiangfu Song, Yingying Li, Lisha Yao, Guomin Yang, Tianwei Zhang, and Robert H. Deng
DYNAFIX: Dynamic Fixed‑Point Encoding for Arbitrary‑Range MPC
Yuntian Chen, Tianpei Lu, Zhanyong Tang, Bingsheng Zhang, Wenjing Yang, Zhuzhu Wang, and Kui Ren
Yuntian Chen, Tianpei Lu, Zhanyong Tang, Bingsheng Zhang, Wenjing Yang, Zhuzhu Wang, and Kui Ren
Private Identity-based Bulletin Boards for Anonymous Messaging and Other Online Services
Karim Eldefrawy, Stanislaw Jarecki, Ben Terner, and Gene Tsudik
Karim Eldefrawy, Stanislaw Jarecki, Ben Terner, and Gene Tsudik
Algorithmic Optimization of the Gaussian Sampler in the FN-DSA Post-Quantum Signature Scheme
Nicolas HOULÈS and Thibaut Heckmann
Nicolas HOULÈS and Thibaut Heckmann
Distributed Monotone Policy Encryption with Stronger Security for DNFs and Threshold Policies from Lattices
Rishab Goyal and Saikumar Yadugiri
Rishab Goyal and Saikumar Yadugiri
Efficient Large-Integer Arithmetic for FHE
Ahmad Al Badawi, Andreea Alexandru, Gurgen Arakelov, Charles Gouert, Sergey Gomenyuk, Valentina Kononova, Yarkın Doröz, and Yuriy Polyakov
Ahmad Al Badawi, Andreea Alexandru, Gurgen Arakelov, Charles Gouert, Sergey Gomenyuk, Valentina Kononova, Yarkın Doröz, and Yuriy Polyakov
UFOs: A Very Efficient Multivariate Public Key Signature Scheme
Gilles Macario-Rat
Gilles Macario-Rat
Verbeth: Secure Messaging with Metadata Minimization over Public Blockchain Logs
Marco Esposito, Andrea Rizzini, Francesco Bruschi, and Donatella Sciuto
Marco Esposito, Andrea Rizzini, Francesco Bruschi, and Donatella Sciuto
UC, Categorically: Rigorous Diagrammatic Proofs
Pooya Farshim, Martti Karvonen, Andre Knispel, Markulf Kohlweiss, and Philip Wadler
Pooya Farshim, Martti Karvonen, Andre Knispel, Markulf Kohlweiss, and Philip Wadler
Algebraic Analysis of Homomorphic Trace Evaluation and Its Applications
Han Xia
Han Xia
Design and Analysis of Quantum Designated Verifier Signature Scheme
Shanu Poddar and Vikas Srivastava
Shanu Poddar and Vikas Srivastava
New Designs of Multivariate-Polynomial Universal Hash Functions
Jean Paul Degabriele, Jan Gilcher, Jérôme Govinden, and Kenneth G. Paterson
Jean Paul Degabriele, Jan Gilcher, Jérôme Govinden, and Kenneth G. Paterson
Power side-channel leakage distinguishers on LESSv2.0 - Exploiting sparse columns in Gaussian Elimination
Maciej Czuprynko, Rishub Nagpal, Tobias Schneider, and Sujoy Sinha Roy
Maciej Czuprynko, Rishub Nagpal, Tobias Schneider, and Sujoy Sinha Roy
Paras: Actively Secure Two-Server Private Histograms
Dimitris Mouris, Lucas Piske, Pratik Sarkar, Ni Trieu, and Mehmet Ugurbil
Dimitris Mouris, Lucas Piske, Pratik Sarkar, Ni Trieu, and Mehmet Ugurbil
One Discrete Gaussian Sample in $2^{n/2+o(n)}$ Time
Jiseung Kim
Jiseung Kim
zk-Cinema: Proving Video Provenance in Zero Knowledge
Alexander Frolov, Jianfeng Guo, Xinyi Zhao, Trisha Datta, Dan Boneh, and Ian Miers
Alexander Frolov, Jianfeng Guo, Xinyi Zhao, Trisha Datta, Dan Boneh, and Ian Miers
Solving the Shortest Vector Problem in $2^{0.6039n}$ Time via Mid-point Hessian
Minki Hhan
Minki Hhan
Baker: A Privacy-Preserving, NIZK-free and Efficient Payment Channel Hub Supporting Bidirectional Channels
Wenjing Li, Zi Li, Yuan Zhang, and Sheng Zhong
Wenjing Li, Zi Li, Yuan Zhang, and Sheng Zhong
Budget Allocation in Neural Differential Distinguishers
Alireza Gholizadeh Shahrbejari and Reza Ebrahimi Atani
Alireza Gholizadeh Shahrbejari and Reza Ebrahimi Atani
Breaking ADP-Based Witness Encryption
Muhammad El Gebali, Yaroslav Rebenko, Markus Schofnegger, and Lev Soukhanov
Muhammad El Gebali, Yaroslav Rebenko, Markus Schofnegger, and Lev Soukhanov
HAWK-$n$ Key Recovery Reduces to SVP in Dimension $n/2 + 1$
Zygimantas Straznickas and Stephen A. Weis
Zygimantas Straznickas and Stephen A. Weis
Sub-Cubic Homomorphic Matrix Multiplication via Self-Dual Normal Bases
Efe İzbudak, Kubra Kaytanci, Ferruh Ozbudak, and Erkay Savas
Efe İzbudak, Kubra Kaytanci, Ferruh Ozbudak, and Erkay Savas
A Polynomial-Time Quantum Algorithm for the Dihedral Coset Problem
Daniel R. Simon
Daniel R. Simon
Updatable Oblivious Key Value Stores with Access Control and Application to Multi Key Searchable Encryption
Benjamin Fuller, Ariel Hamlin, Arinjita Paul, Maryam Rezapour, Ronak Sahu, Amey Shukla, and Mason Stuart
Benjamin Fuller, Ariel Hamlin, Arinjita Paul, Maryam Rezapour, Ronak Sahu, Amey Shukla, and Mason Stuart
The Role of Regular Integers Modulo n in RSA Cryptography
Klaus Dohmen and Mandy Lange-Geisler
Klaus Dohmen and Mandy Lange-Geisler
Strided Frobenius Additive FFT and its Application to HQC
Ming-Shing Chen, Tun-You Chien, Chun-Ming Chiu, Cesare Huang, Han-Hsuan Lin, Chun-Tao Peng, and Bo-Yin Yang
Ming-Shing Chen, Tun-You Chien, Chun-Ming Chiu, Cesare Huang, Han-Hsuan Lin, Chun-Tao Peng, and Bo-Yin Yang
Solving the Shortest Vector Problem in $2^{0.7314n+o(n)}$ Time via Discrete Gaussian Sampling on Superlattices
Yiming Gao, Yansong Feng, and Honggang Hu
Yiming Gao, Yansong Feng, and Honggang Hu
Perturbation of Hankel moment singular values and supersingular endomorphism rings via CVP: a $p$-adic super-resolution law and a fully computed pipeline
Radmir Isyanov
Radmir Isyanov
Proving Threshold Regev PKE from Adaptive Hint-MLWE: Efficient, Non-interactive, and CCA Secure
Yisol Hwang, Shuichi Katsumata, Seonhong Min, Guilhem Niot, and Yongsoo Song
Yisol Hwang, Shuichi Katsumata, Seonhong Min, Guilhem Niot, and Yongsoo Song
Beyond Affine Invariants: A Hamming-Weight Correlation Metric for Template-CPA Leakage in Key-Dependent S-boxes
Wiesław Maleszewski
Wiesław Maleszewski
Cryptanalysis of a Candidate Witness Encryption Scheme for Affine Determinant Programs
Sunghyeon Jo
Sunghyeon Jo
Privacy-Preserving Inclusion Lists
Zhengwei Tong, Saba Eskandarian, and Kartik Nayak
Zhengwei Tong, Saba Eskandarian, and Kartik Nayak
Post-Quantum Internet Key Exchange via Authenticated Forward-Secure KEM
Yunlei Zhao, Biming Zhou, Zhixiang Zhao, Yifan Dong, Cheng Huang, and Haodong Jiang
Yunlei Zhao, Biming Zhou, Zhixiang Zhao, Yifan Dong, Cheng Huang, and Haodong Jiang
Order Auctions with Private Position Preferences
Ruijie Wang and Aviv Yaish
Ruijie Wang and Aviv Yaish
Slipway: Accessing Finite Subspace Trails in Poseidon
Giuseppe Vitto
Giuseppe Vitto
OpenLLM: Modular and Scalable zkSNARKs for Verifiable LLM Inference
Yunbo Yang, Yupeng Ren, Changtong Xu, Rui Zhang, Xuanming Liu, Jin Tan, Tao Wei, Bingsheng Zhang, and Kui Ren
Yunbo Yang, Yupeng Ren, Changtong Xu, Rui Zhang, Xuanming Liu, Jin Tan, Tao Wei, Bingsheng Zhang, and Kui Ren
SONIC: Concurrent Oblivious RAM & Data Structures for Low-Latency and High-Throughput
Nihal Talur and Ioannis Demertzis
Nihal Talur and Ioannis Demertzis
A Systematic Literature Review on Optimising CRYSTALS-Dilithium (ML-DSA) Performance for IoT Devices via Lightweight Hashing
Ceasar Njuguna Ngunu and Edward Ombui
Ceasar Njuguna Ngunu and Edward Ombui
Solving the supersingular isogeny problem in time $p^{2/5+o(1)}$ using bivariate multipoint evaluation
Aleksei Udovenko
Aleksei Udovenko
Privacy-Preserving Multi-Signatures: Achieving Transcript-Aware Privacy
Yanzibo Zhou, Fuchun Guo, Willy Susilo, and Nan Li
Yanzibo Zhou, Fuchun Guo, Willy Susilo, and Nan Li
The Non-Intersecting Codewords Problem and its Application to MPC-in-the-Head Signatures
Pierre Briaud, Philippe Gaborit, Romaric Neveu, and Gilles Zémor
Pierre Briaud, Philippe Gaborit, Romaric Neveu, and Gilles Zémor
SHARMONY: Composing SHA-2 and SHA-3 Hardware for Crypto-Agile PQC
Liga Anwar, Carlos Andres Lara-Nino, Jong-Yeon Park, and Michael Hutter
Liga Anwar, Carlos Andres Lara-Nino, Jong-Yeon Park, and Michael Hutter
LAMP: Linear Verification of Matrix Multiplication via Proximity Testing
Kyeongtae Lee, Byeongkyu Han, Jihye Kim, and Hyunok Oh
Kyeongtae Lee, Byeongkyu Han, Jihye Kim, and Hyunok Oh
Anchor-DKG: Distributed Key Generation with Repeating Parties
Hanwen Feng, Qiang Tang, and Sri AravindaKrishnan Thyagarajan
Hanwen Feng, Qiang Tang, and Sri AravindaKrishnan Thyagarajan
Tensor Encodings for SIMD HSS
Jaehyung Kim
Jaehyung Kim
Antichain Winternitz: Guaranteed Garbled-Circuit Label Revelation on Bitcoin with Permissionless Recovery
Mukesh Tiwari and Aaron Feickert
Mukesh Tiwari and Aaron Feickert
Zero Knowledge Barcode Decoding with Application to Private Online Attribute Verification
Kelsey Merrill, Anna Woo, Wenting Zheng, and Sarah Scheffler
Kelsey Merrill, Anna Woo, Wenting Zheng, and Sarah Scheffler
On the Security of Rotational (Non-)linearity in Sbox
Yadi Zhong
Yadi Zhong
How to Back Up High-Value Secret Keys
Sanjam Garg, Noemi Glaeser, Abhishek Jain, Michael Lodder, and Hart Montgomery
Sanjam Garg, Noemi Glaeser, Abhishek Jain, Michael Lodder, and Hart Montgomery
Splitting Bilinear Groups: New Translations from Composite- to Prime-Order with Applications to Batch Arguments for NP
David Balbás, Dario Fiore, and Duy Nguyen
David Balbás, Dario Fiore, and Duy Nguyen
A Generalized Framework for Conditional Linear Cryptanalysis and Its Application to AES-Like Ciphers
Cheng Che, Tian Tian, Jing Yang, and Fan Yang
Cheng Che, Tian Tian, Jing Yang, and Fan Yang
Power Analysis and Countermeasures on the MiMC Block Cipher
Elena Andreeva, Stefan Mangard, Rishub Nagpal, Arnab Roy, and Stefano Trevisani
Elena Andreeva, Stefan Mangard, Rishub Nagpal, Arnab Roy, and Stefano Trevisani
DeepBrake: Efficient Row-Wise Reed-Solomon Commitments for Arbitrary Points
Zhongliang Zhang, Xinxuan Zhang, Yuanju Wei, Lang Qin, and Yi Deng
Zhongliang Zhang, Xinxuan Zhang, Yuanju Wei, Lang Qin, and Yi Deng
Dimension Reduction for SVP in Hawk: A Trace-Zero Approach
Guilhem Mureau and Alice Pellet-Mary
Guilhem Mureau and Alice Pellet-Mary
Revisiting Shamir Secret Sharing for Threshold Fully Homomorphic Encryption
Jiseung Kim, Seunghu Kim, and Hyung Tae Lee
Jiseung Kim, Seunghu Kim, and Hyung Tae Lee
Verifiable Outsourced BTE with Silent Setup: Achieving Constant-Rate Batched Delegation
Kwangsu Lee
Kwangsu Lee
Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification
Carter Luck, Olive Franzese-McLaughlin, Elisaweta Masserova, Akira Takahashi, Antigoni Polychroniadou, and Nicolas Papernot
Carter Luck, Olive Franzese-McLaughlin, Elisaweta Masserova, Akira Takahashi, Antigoni Polychroniadou, and Nicolas Papernot
Breaking the Beyond-Birthday-Bound Security of ${\sharp}\textrm{Pencil}$
Léonard Assouline and Cécile Delerablée
Léonard Assouline and Cécile Delerablée
Non-Interactive Secure Computation with Constant Communication Overhead
Yuval Ishai, Ziyang Jin, Naty Peter, and Akshayaram Srinivasan
Yuval Ishai, Ziyang Jin, Naty Peter, and Akshayaram Srinivasan
On the Hardness of some Vandermonde Knapsack problems
Dipayan Das and Arindam Mukherjee
Dipayan Das and Arindam Mukherjee
Amortized Multi-Verifier Proofs from Reductions of Knowledge
Nikitas Paslis, Carla Ràfols, and Alexandros Zacharakis
Nikitas Paslis, Carla Ràfols, and Alexandros Zacharakis
BORG: Extendable Distributed Vector Commitments from Reconfigurable Erasure Codes
Nicolas Alhaddad, Eran Tromer, and Mayank Varia
Nicolas Alhaddad, Eran Tromer, and Mayank Varia
Fine-Grained and Runtime-Configurable Precision for Exact FHE Inference
Wun-Ting Lin and Ja-Ling Wu
Wun-Ting Lin and Ja-Ling Wu
Algorithms for Sparse LWE and LPN with Small Secrets
Shashwat Agrawal, Amitabha Bagchi, and Rajendra Kumar
Shashwat Agrawal, Amitabha Bagchi, and Rajendra Kumar
The Cross-ratio Property and Its Use for Cryptanalysis of Round-reduced AES
Zhenzhen Bao, Jian Guo, Eik List, and Haoyang Wang
Zhenzhen Bao, Jian Guo, Eik List, and Haoyang Wang
Revisiting the Wedge Attack on UOV problem
Jintai Ding, Peigen Li, and Siyong Tao
Jintai Ding, Peigen Li, and Siyong Tao
Silent Distributed Cryptography for DNFs and Threshold Policies from Lattices
Abtin Afshar, Rishab Goyal, and Saikumar Yadugiri
Abtin Afshar, Rishab Goyal, and Saikumar Yadugiri
Note on Number-Theoretic Transforms for Implementers -- Butterflies, Twisting, Incompleteness, and Good's Trick
Bo-Yin Yang
Bo-Yin Yang
Zero-Knowledge Proofs of Isogeny Diamonds
Leonardo Colò, Maher Mamah, Youcef Mokrani, Bruno Sterner, and Nicolas Swanson
Leonardo Colò, Maher Mamah, Youcef Mokrani, Bruno Sterner, and Nicolas Swanson
SoK: Confidential Transformer Inference and Retrieval-Augmented Generation
Timofey Yaluhin
Timofey Yaluhin
Efficient Private Filtering and Aggregation for Weighted Set Intersection via Oblivious Encrypted Weight Transfer
Xiaodong Wang, Shengzhe Meng, Zijie Lu, and Bei Liang
Xiaodong Wang, Shengzhe Meng, Zijie Lu, and Bei Liang
Passive Full-Key Recovery for the MQOM v2 Lineage from Saltless Root Expansion
José Luis Delgado
José Luis Delgado
Batched Oblivious Transfer with Square-Root Communication
Yicheng Li, Claudio Orlandi, Lawrence Roy, and Yizhou Yao
Yicheng Li, Claudio Orlandi, Lawrence Roy, and Yizhou Yao
Lattice-Based Shuffle Arguments using Subset Checking
Behzad Abdolmaleki, Prastudy Fauzi, Jiaqi Gu, Toomas Krips, and Nahid Roustaeifar
Behzad Abdolmaleki, Prastudy Fauzi, Jiaqi Gu, Toomas Krips, and Nahid Roustaeifar
Falcon Verify on AVX-512: Speed Records
David Rubin and Emanuele Cesena
David Rubin and Emanuele Cesena
An Attack on High Rate McEliece Cryptosystems Using Generalized Reed Solomon Codes with Weight 2 Mask
Julia Lieb, Abhinaba Mazumder, and Michael Schaller
Julia Lieb, Abhinaba Mazumder, and Michael Schaller
UM-PSO: A Unified Multi-Party Framework for Private Set Operations with Malicious-Majority Security
Yaxi Yang, Xiaojian Liang, Weizhan Jing, Ye Dong, Xiangfu Song, Fangyuan Sun, Pu Duan, and Tianwei Zhang
Yaxi Yang, Xiaojian Liang, Weizhan Jing, Ye Dong, Xiangfu Song, Fangyuan Sun, Pu Duan, and Tianwei Zhang
Privacy-Preserving Identity Management and Software Bill of Materials Vulnerability Detection: Practical Use Cases from the PRIVIDEMA Project
Mariya Georgieva Belorgey, Benoit Cogliati, Simon Demarty, Lois Huguenin-Dumittan, Özcan Öztürk, Salma Rasti Samiei, and Oana Stan
Mariya Georgieva Belorgey, Benoit Cogliati, Simon Demarty, Lois Huguenin-Dumittan, Özcan Öztürk, Salma Rasti Samiei, and Oana Stan
ViNET: Connecting the Unconnected using Video over LTE
Manav Mittal, Yogesh Kaushik, Anirudh S Kumar, Mukulika Maity, and Sambuddho Chakravarty
Manav Mittal, Yogesh Kaushik, Anirudh S Kumar, Mukulika Maity, and Sambuddho Chakravarty
Masking, Sequences, and FALCON: A Theoretical Study on Masking Strategies Using Sequences for Non-Linear Operators in the FALCON Post-Quantum Signature
Pierre-Augustin Berthet
Pierre-Augustin Berthet
Correcting the modulus switch error in TFHE bootstrapping for real-valued computation
Thomas Crasson and Florian Méhats
Thomas Crasson and Florian Méhats
Just-in-Time-OPRFs and a Modular Framework for Fast Private Set Intersection
Mihir Bellare, Rishabh Ranjan, and Doreen Riepel
Mihir Bellare, Rishabh Ranjan, and Doreen Riepel
Toward a Secure Fixed-Point Implementation of the Falcon Signature Scheme
Daniel De Almeida Braga, Pierre-Alain Fouque, Bachir Lachguel, and Thomas Prest
Daniel De Almeida Braga, Pierre-Alain Fouque, Bachir Lachguel, and Thomas Prest
Rich Input Representations in Neural Differential Cryptanalysis: A Taxonomy and Survey
Alireza Gholizadeh Shahrbejari and Reza Ebrahimi Atani
Alireza Gholizadeh Shahrbejari and Reza Ebrahimi Atani
Generalized Wiener-Type Attacks on Two RSA-Like Cryptosystems
Abdoulaye Faye, Michel Seck, Abdoul Aziz Ciss, Papa Cheikhou Diop, and Oumar Niang
Abdoulaye Faye, Michel Seck, Abdoul Aziz Ciss, Papa Cheikhou Diop, and Oumar Niang
Revisiting Automated Quantum Periodic Distinguisher Construction
Jian Guo and Yiran Yao
Jian Guo and Yiran Yao
Shuffling is Not Enough: Breaking Permutation-Based Model Confidentiality in Hybrid FHE Inference
Jiseung Kim and Hyung Tae Lee
Jiseung Kim and Hyung Tae Lee
On the Suitability of Syndrome Decoding for Proof-of-Work under Quantum Adversaries: Design and Analysis
Aleck Nash, Kim-Kwang Raymond Choo, and Henry Chimal-Dzul
Aleck Nash, Kim-Kwang Raymond Choo, and Henry Chimal-Dzul
NAIBI: Binding Reconciliation KEMs and Ephemeral Key Agreement over Non-Split Commutative Algebras
Sidoine Djimnaibeye, Djiby Sow, Mahamat Borgou Hassan, Daniel Tieudjo, and Ganga Tchawa
Sidoine Djimnaibeye, Djiby Sow, Mahamat Borgou Hassan, Daniel Tieudjo, and Ganga Tchawa
A Note on Single-Server QPIR from One-Way Functions
Prabhanjan Ananth, Divyanshu Bhardwaj, and Aditya Gulati
Prabhanjan Ananth, Divyanshu Bhardwaj, and Aditya Gulati
Catching Many Traitors in Threshold Traitor Tracing: Lower Bounds and Constructions
Dan Boneh, Aditi Partap, and Mark Zhandry
Dan Boneh, Aditi Partap, and Mark Zhandry
Efficient Ternary Computation of Optimal Ate Pairing on BLS27 Curves
Walid Haddaji
Walid Haddaji
Beyond Blockchain Ballots: UC-Secure Layer-2 Voting and Governance
Raghav Bhaskar, Pooya Farshim, Matthias Fitzi, and Aggelos Kiayias
Raghav Bhaskar, Pooya Farshim, Matthias Fitzi, and Aggelos Kiayias
Quintus: Two-round Good-case Information Theoretic BFT for $n=5f+1$
Chenyang Liu, Dahlia Malkhi, Kartik Nayak, and Nibesh Shrestha
Chenyang Liu, Dahlia Malkhi, Kartik Nayak, and Nibesh Shrestha
Classic Full Plaintext Recovery Attacks on Low Round Generalized Feistel Networks
Yubing Zhu, Jianhong Shi, Yunteng Yang, and Yonghui Yang
Yubing Zhu, Jianhong Shi, Yunteng Yang, and Yonghui Yang
Practical Equivalent-Key Recovery in GRAFHEN
Remi Geraud-Stewart
Remi Geraud-Stewart
ConvertInput-Free Vector Homomorphic Secret Sharing and Its Applications
Fan Yang, Fucai Luo, Xingfu Yan, Haining Yang, Zheng Gong, and Wing W. Y. Ng
Fan Yang, Fucai Luo, Xingfu Yan, Haining Yang, Zheng Gong, and Wing W. Y. Ng
Complex-Multiplication Terminals for Supersingular Isogeny Path-Finding
Zheng Tao, Zhi Hu, Yijing Zhang, and Changan Zhao
Zheng Tao, Zhi Hu, Yijing Zhang, and Changan Zhao
Exponentially Fewer-Server PIR from Sparser $S$-Decoding Polynomials
Aparna Gupte and Seyoon Ragavan
Aparna Gupte and Seyoon Ragavan
Distributed Vector Commitments and Their Applications
Rui Gao, Huaqun Wang, Zhiguo Wan, and Yuncong Hu
Rui Gao, Huaqun Wang, Zhiguo Wan, and Yuncong Hu
STEBR: A Timed-Erasure, Threshold-Gated Backup Ratchet
Shaurya Pratap Singh
Shaurya Pratap Singh
The McEliece Cryptosystem After Nearly Five Decades: A Survey of Security, Cryptanalysis, and Future Directions
Shabnam Jafarzade Mojaveri and Adel Khosravi
Shabnam Jafarzade Mojaveri and Adel Khosravi
Unconditional Unclonable Encryption
Prabhanjan Ananth and Amit Sahai
Prabhanjan Ananth and Amit Sahai
Quantum Lazy Sampling and Path Recording for Any Group
Ben Foxman, Alex Lombardi, Fermi Ma, Barak Nehoran, and John Wright
Ben Foxman, Alex Lombardi, Fermi Ma, Barak Nehoran, and John Wright
Efficient Unclonable Encryption from Pauli Eigenstates
Seyoon Ragavan
Seyoon Ragavan
ZKPoSP: Post-Quantum Zero-Knowledge Proofs for Hierarchical Deterministic Wallets
Vincenzo Botta, Michal Pospieszalski, Emanuele Ragnoli, and Justus Ranvier
Vincenzo Botta, Michal Pospieszalski, Emanuele Ragnoli, and Justus Ranvier
Analyzing Cryptography in Context: A Cryptography-Native Approach to Threat Modeling
Ran Canetti, Julie Ha, and Gabriel Kaptchuk
Ran Canetti, Julie Ha, and Gabriel Kaptchuk
SM4th and uBlockith: VOLE-based Post-Quantum Signature Schemes from Chinese Block Ciphers
Weihan Li, Yuchen Wang, Zhelei Zhou, Cheng Hong, and Tao Wei
Weihan Li, Yuchen Wang, Zhelei Zhou, Cheng Hong, and Tao Wei
Conditional-Affine Redundant Clauses for SHA-256 Differential SAT
Jiqiang Feng and Kun Gao
Jiqiang Feng and Kun Gao
Encifher: A Trusted-Execution Coprocessor for Confidential Computation on Solana
Nitanshu Lokhande, Rishabh Gupta, Rachit Chahar, Arun Jangra, Aniket Prajapati, and Muskan Kumari
Nitanshu Lokhande, Rishabh Gupta, Rachit Chahar, Arun Jangra, Aniket Prajapati, and Muskan Kumari
The Consensus Number of Untraceable Cryptocurrencies
Christian Cachin, David Lehnherr, Juan Villacis, and François-Xavier Wicht
Christian Cachin, David Lehnherr, Juan Villacis, and François-Xavier Wicht
Efficient Privacy-Preserving LSTM Inference on Encrypted Sequential Data
Qiang He, Jingwei Chen, Wenyuan Wu, and Yong Feng
Qiang He, Jingwei Chen, Wenyuan Wu, and Yong Feng
Phishing in the Noise: Analysis of CT-based Phishing Detection Performance on Free Hosting Platforms
Maksymilian Nowak, Wojciech Mazurczyk, and Ewa Syta
Maksymilian Nowak, Wojciech Mazurczyk, and Ewa Syta
How to Define Expected Quantum Polynomial-Time Zero Knowledge Simulation
Zhengnan Lai, Nicholas Spooner, and Max Tromanhauser
Zhengnan Lai, Nicholas Spooner, and Max Tromanhauser
BF²: A Bloom-Filtered Brute-Force Framework for Multi-Target Password Recovery
Cansu Karakuzu Aslan, Wenzel Pünter, and Christian Dörr
Cansu Karakuzu Aslan, Wenzel Pünter, and Christian Dörr
Multilevel Amortized Gaussian Elimination in Information-Set Decoding: Applications to HQC and PCG
Kévin Carrier, Valérian Hatey, Laura Luzzi, and Jean-Pierre Tillich
Kévin Carrier, Valérian Hatey, Laura Luzzi, and Jean-Pierre Tillich
Updatable Private Set Union: Generic Construction with Efficient Instantiation
Seongbong Choi and Hyung Tae Lee
Seongbong Choi and Hyung Tae Lee
Floor-IT: Information-Theoretic BFT in Partial Synchrony with Two Round Good Case Latency and Optimal Resilience
Ittai Abraham, Yuval Efron, Jovan Komatovic, and Alejandro Ranchal-Pedrosa
Ittai Abraham, Yuval Efron, Jovan Komatovic, and Alejandro Ranchal-Pedrosa
Oblivious Sorting under Fully Homomorphic Encryption: A Comprehensive Survey and Performance Analysis
Omar Ahmed, Rostin Shokri, and Nektarios Georgios Tsoutsos
Omar Ahmed, Rostin Shokri, and Nektarios Georgios Tsoutsos
On $k$-way split multiplication algorithms
Mehmet Özgün Cihangir and Oğuz Yayla
Mehmet Özgün Cihangir and Oğuz Yayla
Bob DyLean: A Framework for the Symbolic Analysis of Cryptographic Protocols in Lean
Théophile Wallez and Cas Cremers
Théophile Wallez and Cas Cremers
Proof of Demand Is Not Proof of Work: On the Limits of Demand-Weighted Consensus under Free Pseudonyms
Ömer Demirel
Ömer Demirel
Exploiting Load/Store Leakage of Sparse Vectors for Key Recovery in HQC
Gustavo Banegas, Benjamin Smith, and Jad Zahreddine
Gustavo Banegas, Benjamin Smith, and Jad Zahreddine
On the Formal Verification of Polynomial Commitments: two KZG constructions and the Algebraic Group Model
Tobias Rothmann
Tobias Rothmann
SwitchFold: Code-Agnostic Succinct Polynomial Commitments via Recursive Code Switching
Mingshu Cong, Tsz Hon Yuen, and Siu-Ming Yiu
Mingshu Cong, Tsz Hon Yuen, and Siu-Ming Yiu
Privacy-Preserving Counterfactual Explanations for Federated AI
Sjoerd Berning, Vincent Dunning, Thijs Veugen, and Kevin Witlox
Sjoerd Berning, Vincent Dunning, Thijs Veugen, and Kevin Witlox
LightShark: Actively Secure Machine-Learning Inference Based on Lightweight Authenticated Distributed Comparison Function
Chenkai Zeng, Qi Feng, Debiao He, and Min Luo
Chenkai Zeng, Qi Feng, Debiao He, and Min Luo
The supersingular isogeny problem in time and memory $p^{1/3+o(1)}$
Benjamin Wesolowski
Benjamin Wesolowski
From PQC to HHE: Reusing a Co-Design Platform for Side-Channel-Protected PASTA
Ahmet Malal, Tolun Tosun, Oğuz Yayla, and Erkay Savas
Ahmet Malal, Tolun Tosun, Oğuz Yayla, and Erkay Savas
The SecureDrop Protocol: End-to-End Encrypted Whistleblowing for All
Giulio Berra, Felix Linker, Luca Maier, Cory Francis Myers, Kenneth G. Paterson, Rowen Shane, and Shannon Veitch
Giulio Berra, Felix Linker, Luca Maier, Cory Francis Myers, Kenneth G. Paterson, Rowen Shane, and Shannon Veitch
MQ on my Hardware: Performance Analysis of MQOM on FPGA
Stelios Manasidis, Quinten Norga, Suparna Kundu, and Ingrid Verbauwhede
Stelios Manasidis, Quinten Norga, Suparna Kundu, and Ingrid Verbauwhede
Practical Adaptor Signatures: Security and Applications
Pavel Hubáček, Kristýna Mašková, and Berenika Richterová
Pavel Hubáček, Kristýna Mašková, and Berenika Richterová
88-XOR Implementation of the AES MixColumns Matrix
Jérémy Jean
Jérémy Jean
Doubly-Efficient Secret-Key PIR with Low Storage Overhead
Caicai Chen, Yuval Ishai, Aayush Jain, Tamer Mour, Alon Rosen, and Chaoping Xing
Caicai Chen, Yuval Ishai, Aayush Jain, Tamer Mour, Alon Rosen, and Chaoping Xing
Conjectures and Barriers for RS-MCA
Przemek Chojecki
Przemek Chojecki
Provable Recovery of RSA Private Exponents below \(N^{11/42-\varepsilon}\)
Yiming Gao and Honggang Hu
Yiming Gao and Honggang Hu
PERSEPHONE: Zero-Knowledge Multiplicative Non-Negative Proof for Sequential Private Range Verification
Ivan Tjuawinata, Yann Fraboni, Darian Gunamardi, Jun Jie Sim, Zhenghao Wu, Hasventhran Baskaran, Chi-Hung Chi, Pu Duan, and Kwok-Yan Lam
Ivan Tjuawinata, Yann Fraboni, Darian Gunamardi, Jun Jie Sim, Zhenghao Wu, Hasventhran Baskaran, Chi-Hung Chi, Pu Duan, and Kwok-Yan Lam
Constructing new permutation polynomials by the AGW Criterion
Qian Liu, Liwei Fang, Zhengbang Zha, and Jing Zhang
Qian Liu, Liwei Fang, Zhengbang Zha, and Jing Zhang
Partial Derandomization for Leakage-Resilient Shamir's Secret Sharing over Composite Order Fields
S. Venkitesh
S. Venkitesh
Mu-qt-PEGASIS: Interactive Aggregate Signatures from Effective Isogenies in the Programmable Random-Oracle Model
Nouhou Abdou Idris and Mustapha Hedabou
Nouhou Abdou Idris and Mustapha Hedabou
An Exact Four-Wise Framework for Boomerang Cryptanalysis
Chengcheng Chang, Kai Hu, Shuo Peng, and Haoyang Wang
Chengcheng Chang, Kai Hu, Shuo Peng, and Haoyang Wang
Vordr: Verifiable, Scalable and Anonymous Remote Attestation for Confidential Virtual Machines
Nirajan Koirala, Kevin Vuong, Micah Brody, Jihye Kim, Hyunok Oh, and Taeho Jung
Nirajan Koirala, Kevin Vuong, Micah Brody, Jihye Kim, Hyunok Oh, and Taeho Jung
Efficient Single-Round Obfuscation of Search and Result Patterns in Searchable Encryption
Tung Le and Thang Hoang
Tung Le and Thang Hoang
A Complexity-Theoretic Approach to Proofs of Space
Marshall Ball and Jiaxin Guan
Marshall Ball and Jiaxin Guan
MULTILINEAR POLYNOMIALS VIA TREE-BASED CIRCUIT AND THE SUMCHECK PROTOCOL
ALI MKHIDA and Adil Iguider
ALI MKHIDA and Adil Iguider
Side-Channel Attacks Revisited - an Optimization Problem Perspective: Bootstrapping and Space Reduction
Erez Tamir, Osnat Keren, and Itamar Levi
Erez Tamir, Osnat Keren, and Itamar Levi
Quantum-Safe Cryptography: A Migration Framework for Legacy Systems Toward NIST PQC Standards with the Crypto-Agility Readiness Score
Allan D. B. Costa
Allan D. B. Costa
Scalable High-Throughput FPGA Architecture for SMAC Message Authentication Code
Ahmet MALAL, Hakan Güler, Bahadır Aydoğan, and Oğuz Yayla
Ahmet MALAL, Hakan Güler, Bahadır Aydoğan, and Oğuz Yayla
On Reduction Probability Models in Lattice Sieving
Marc Stevens and Michael Yonli
Marc Stevens and Michael Yonli
Optimal Distributed Monotone-Policy Encryption for DNFs and More from Lattices
Jeffrey Champion and David J. Wu
Jeffrey Champion and David J. Wu
Shortening Bounds for Reed-Solomon MCA
Przemek Chojecki
Przemek Chojecki
Power Reveals Timing Conceals - Side-Channel Attacks and Hiding Countermeasures for HQC's Fixed-Weight Vector Sampling
Dina Hesse, Markus Krausz, Raagavan Murugananthan, Tabea Wollinger, and Tim Güneysu
Dina Hesse, Markus Krausz, Raagavan Murugananthan, Tabea Wollinger, and Tim Güneysu
The m=n+1 Boundary of EME: A Splicing Distinguisher for the Unrefreshed EME-Core Extension and Its Linear-Map Generalization
Jiadong Han and Peng Wang
Jiadong Han and Peng Wang
A Practical Key-Recovery Attack on GRAFHEN
Jules Dumezy
Jules Dumezy
Hybrid hash function based on the DLP and SIS problems
Dimitri Koshelev and Francesc Sebé
Dimitri Koshelev and Francesc Sebé
A High-Speed Hardware Accelerator for QR-UOV Signature Scheme
Renma Sugai, Hiroshi Amagasa, Rei Ueno, and Naofumi Homma
Renma Sugai, Hiroshi Amagasa, Rei Ueno, and Naofumi Homma
Identity-Based Encryption from Isogenies
Shweta Agrawal, Andrea Basso, and Sikhar Patranabis
Shweta Agrawal, Andrea Basso, and Sikhar Patranabis
QuantumScouter: Reinforcement Learning-Based Optimization of Variational Quantum Circuits for Differential Cryptanalysis
Gilsang Ahn, Jiwoo Baek, Donggun Lee, Insung Kim, Changmin Lee, Seokhie Hong, and Dongjae Lee
Gilsang Ahn, Jiwoo Baek, Donggun Lee, Insung Kim, Changmin Lee, Seokhie Hong, and Dongjae Lee
Trout++: Robust Asynchronous Two-Round ECDSA for Arbitrary Thresholds
Ariel Nof and Luke Parker
Ariel Nof and Luke Parker
Batched Attribute-Based Encryption from Bilinear Pairings
Ramprasad Sarkar, Shayeef Murshid, and Mriganka Mandal
Ramprasad Sarkar, Shayeef Murshid, and Mriganka Mandal
Celer: A Lookup Argument for Large-Scale Queries
Wenjie Qu, Yanpei Guo, Zhen Xuan, Xuanming Liu, and Jiaheng Zhang
Wenjie Qu, Yanpei Guo, Zhen Xuan, Xuanming Liu, and Jiaheng Zhang
Labeled Multi-Key Batched IBE
Guru-Vamsi Policharla
Guru-Vamsi Policharla
Lightweight Hardware Accelerator for the UOV Signature Scheme with Oil Space Blinding
Florian Krieger, Maciej Czuprynko, and Sujoy Sinha Roy
Florian Krieger, Maciej Czuprynko, and Sujoy Sinha Roy
Optimizing Polynomial Multiplication and Fixed-Weight Sampling for HQC on ARM Cortex-M4
Jihoon Jang, Hanbeom Shin, Suhri Kim, Seokhie Hong, and Donggeun Kwon
Jihoon Jang, Hanbeom Shin, Suhri Kim, Seokhie Hong, and Donggeun Kwon
`ANSA-IBKEM`: Practical Quantum-Safe Identity-Based Key Encapsulation via Annular NTRU Trapdoors and Standardized PQC Arithmetic Reuse
Zhaohui Cheng and Kaixin Xiong
Zhaohui Cheng and Kaixin Xiong
Improving Skipping Fault Correction Attacks on Randomized Dilithium via MILP
Haobo Ouyang, Chaoran Wang, Guowei Liu, Lixuan Wu, Meiqin Wang, and Yanhong Fan
Haobo Ouyang, Chaoran Wang, Guowei Liu, Lixuan Wu, Meiqin Wang, and Yanhong Fan
Faster NTRU-based Bootstrapping with Extended and Sorting-based Techniques
Jingwei Feng, Baofeng Wu, and Dongdai Lin
Jingwei Feng, Baofeng Wu, and Dongdai Lin
Quantum Circuit Optimization with LLMs under a Structured Guideline
Kyungbae Jang, Hyunji Kim, Hwajeong Seo, and Anupam Chattopadhyay
Kyungbae Jang, Hyunji Kim, Hwajeong Seo, and Anupam Chattopadhyay
Sublinear-Communication Layered MPC from HSS
Anasuya Acharya, Pierre Meyer, Divya Ravi, and Rahul Satish
Anasuya Acharya, Pierre Meyer, Divya Ravi, and Rahul Satish
Compressed Post-Quantum Silent OT from Isogenies
Pouria Fallahpour, Arthur Herlédan Le Merdy, and Mahshid Riahinia
Pouria Fallahpour, Arthur Herlédan Le Merdy, and Mahshid Riahinia
SENTRA:Privacy-Preserving Training in Outsourced Cloud Environments
Maryam Zarezadeh, Jana Eisoldt, Bhavish Mohee, Stefan Köpsell, and Behzad Abdolmaleki
Maryam Zarezadeh, Jana Eisoldt, Bhavish Mohee, Stefan Köpsell, and Behzad Abdolmaleki
CoSecRAG: Efficient Vector Similarity Search with Database and Query Privacy for RAG
Moyang Xie, Jiacheng Gao, Yuan Zhang, and Sheng Zhong
Moyang Xie, Jiacheng Gao, Yuan Zhang, and Sheng Zhong
RainHash2.0: Hardware- and Arithmetization-friendly Hash Function
Jiamin Cui, Lorenzo Grassi, Katharina Koschatko, Florian Krieger, Shibam Mukherjee, Christian Rechberger, Sujoy Sinha Roy, Markus Schofnegger, and Verena Schröppel
Jiamin Cui, Lorenzo Grassi, Katharina Koschatko, Florian Krieger, Shibam Mukherjee, Christian Rechberger, Sujoy Sinha Roy, Markus Schofnegger, and Verena Schröppel
Rarus: A Succinct and Efficient Range Proof for Polynomial-based Vector Commitment
Xinyang Yang, Wenjie Qu, Yanpei Guo, and Jiaheng Zhang
Xinyang Yang, Wenjie Qu, Yanpei Guo, and Jiaheng Zhang
ABE for Unbounded Depth Circuits from the Doubly Circular Assumption
Shweta Agrawal, Anuja Modi, Anshu Yadav, and Shota Yamada
Shweta Agrawal, Anuja Modi, Anshu Yadav, and Shota Yamada
Vela and Carina: Fast Pairing-Based Multilinear Polynomial Commitments from Reciprocal Polynomials
Yuncong Zhang
Yuncong Zhang
SoK: On the Design of Secure Ranking-based E-voting Systems
Luke Harrison, Feng Hao, Bowen Zheng, and Bingsheng Zhang
Luke Harrison, Feng Hao, Bowen Zheng, and Bingsheng Zhang
Verifiable and Collusion-Resistant Multi-Party Quantum Private Set Operations
Zixian Gong, Kun Tian, Yi Zhang, and Fengxia Liu
Zixian Gong, Kun Tian, Yi Zhang, and Fengxia Liu
FiltrumVote: Scalable, Verifiable, and Coercion-Resistant Internet Voting