International Association
for Cryptologic Research

Election: Election 2025 Update

ePrint Report: aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware & Software Formal Verification
Noé Amiot, Quentin Meunier, Karine Heydemann, Emmanuelle Encrenaz

ePrint Report: Constant-time Quaternion Algorithms for SQIsign
Andrea Basso, Chenfeng He, David Jacquemin, Fatna Kouider, Péter Kutas, Anisha Mukherjee, Sina Schaeffler, Sujoy Sinha Roy

ePrint Report: Mobius: Enabling Byzantine-Resilient Single Secret Leader Election with Uniquely Verifiable State
Hanyue Dou, Peifang Ni, Yingzi Gao, Jing Xu

ePrint Report: Game-Theoretically Fair Distributed Coin Tossing With Private Preferences
Pedro Branco, Pratik Soni, Sri AravindaKrishnan Thyagarajan, Ke Wu

ePrint Report: An Improved Quantum Algorithm for 3-Tuple Lattice Sieving
Lynn Engelberts, Yanlin Chen, Amin Shiraz Gilani, Maya-Iggy van Hoof, Stacey Jeffery, Ronald de Wolf

ePrint Report: ALIOTH: An Efficient and Secure Weight-of-Evidence Framework for Privacy-Preserving Data Processing
Ye Dong, Xiangfu Song, W.j Lu, Xudong Chen, Yaxi Yang, Ruonan Chen, Tianwei Zhang, Jin-Song Dong

ePrint Report: Abuse Resistant Traceability with Minimal Trust for Encrypted Messaging Systems
Zhongming Wang, Tao Xiang, Xiaoguo Li, Guomin Yang, Biwen Chen, Ze Jiang, Jiacheng Wang, Chuan Ma, Robert H. Deng