【論文速遞】ACNS'25 （加密、秘密分享、區塊鏈分布式系統、量子後量子、密鑰生成、密鑰協商、隱私匿名）
https://acns2025.fordaysec.de/program-2025/
23rd-26th June 2025
Registered Matchmaking Encryption https://link.springer.com/chapter/10.1007/978-3-031-95761-1_1 Danilo Francati, Valeria Huang, Daniele Venturi Sum-Preserving Encryption: Improved Bounds and Constructions for Long Vectors https://link.springer.com/chapter/10.1007/978-3-031-95761-1_2 Sarah Miracle, Scott Yilek Fully Secure Searchable Encryption from PRFs, Pairings, and Lattices https://link.springer.com/chapter/10.1007/978-3-031-95761-1_3 Hirotomo Shinoki, Hisayoshi Sato, Masayuki Yoshino Pre-constructed Publicly Verifiable Secret Sharing and Applications https://link.springer.com/chapter/10.1007/978-3-031-95761-1_4 Karim Baghery, Noah Knapen, Georgio Nicolas, Mahdi Rahimi HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts https://link.springer.com/chapter/10.1007/978-3-031-95761-1_5 Jens-Rene Giesen, Sebastien Andreina, Michael Rodler, Ghassan Karame, Lucas Davi Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment https://link.springer.com/chapter/10.1007/978-3-031-95761-1_6 Xiangyu Su, Xavier Défago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yasumasa Tamura et al. SoK: Measuring Blockchain Decentralization https://link.springer.com/chapter/10.1007/978-3-031-95761-1_7 Christina Ovezik, Dimitris Karakostas, Mary Milad, Daniel W. Woods, Aggelos Kiayias Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols https://link.springer.com/chapter/10.1007/978-3-031-95761-1_8 Patrik Keller Sassafras: Efficient Batch Single Leader Election https://link.springer.com/chapter/10.1007/978-3-031-95761-1_9 Jeffrey Burdges, Elizabeth Crites, Handan Kılınç Alper, Alistair Stewart, Sergey Vasilyev Distributed Asynchronous Remote Key Generation https://link.springer.com/chapter/10.1007/978-3-031-95761-1_17 Mark Manulis, Hugo Nartz Anonymous Authenticated Key Exchange https://link.springer.com/chapter/10.1007/978-3-031-95761-1_18 José Ignacio Escribano Pablos, María Isabel González Vasco, Ángel Pérez del Pozo, Claudio Soriente Privately Compute the Item with Maximal Weight Sum in Set Intersection https://link.springer.com/chapter/10.1007/978-3-031-95764-2_9 Hongyuan Cai, Xiaodong Wang, Zijie Lu, Bei Liang Algebraic Zero Knowledge Contingent Payment https://link.springer.com/chapter/10.1007/978-3-031-95764-2_10 Javier Gomez-Martinez, Dimitrios Vasilopoulos, Pedro Moreno-Sanchez, Dario Fiore On Proofs of Plaintext Knowledge for the Joye-Libert Encryption Scheme https://link.springer.com/chapter/10.1007/978-3-031-95764-2_11 Benoît Libert, Thomas Peters AQQUA: Augmenting Quisquis with Auditability https://link.springer.com/chapter/10.1007/978-3-031-95764-2_12 George Papadoulis, Danai Balla, Panagiotis Grontas, Aris Pagourtzis Everlasting Fully Dynamic Group Signatures https://link.springer.com/chapter/10.1007/978-3-031-95767-3_1 Yimeng He, San Ling, Khai Hanh Tang, Huaxiong Wang From ElGamal to Lattice-Based: Enhancing Helios Voting with Quantum-Safe Cryptography https://link.springer.com/chapter/10.1007/978-3-031-95767-3_2 João Pedro Cardoso Barbosa, Gustavo Zambonin, Thaís Bardini Idalino, Ricardo Felipe Custódio Post-Quantum Cryptography for Linux File System Integrity https://link.springer.com/chapter/10.1007/978-3-031-95767-3_3 Johannes Wiesböck, Maximiliane Münch, Michael Weiß