Accepted Papers
Each paper will have 20 mins for presentantion and Q&A.
A Multi-Image Model for Intersection Attacks Against UOV and Its Variants
Shuhei Nakamura and Hiroki Furue
Harvest Now, Drive Later: Post-Quantum TLS and Confidential-Computing Key Release in Long-Lived Device Cloud Backends
Moustafa Elbahaey
Ideal Pseudorandom Code, Revisited
Ganyuan Cao
Uniform Sharing in Multiple Stages: Towards Second-Order Security
Aein Rezaei Shahmirzadi, Artemii Ovchinnikov and Siemen Dhooghe
Flexible Secret-Sharing-Based Key Management via Share Conversion and Regeneration
Hiroki Sudo, Ryo Kikuchi and Dai Ikarashi
Aardvark: Revisiting the Security of the ANT Signature Scheme
Zhuo Huang, Chao Sun, Mehdi Tibouchi and Yu Yu
Accelerated Differential Search for Gleeok Using Hamming-Weight-Guided SAT Solving
Kento Morita, Tatsuya Ishikawa, Takuro Shiraya, Kosei Sakamoto, Ryoma Ito and Takanori Isobe
Round-Efficient MPC with Applications to Privacy-Preserving Machine Learning
Masaki Mizuno and Satoshi Obana
New Exchanged Boomerang Distinguishers for 5-Round AES
Hanbeom Shin, Seonkyu Kim, Byoungjin Seok, Deukjo Hong, Jaechul Sung, Seokhie Hong and Dongjae Lee
Adaptive attacks on FESTA variants with masked-degree isogenies
Tomoki Moriya
Accountable Threshold Ring Signatures from Group Actions
Dung Hoang Duong, Hyungrok Jo, Junji Shikata and Ha Tran
ANSA-IBS: Identity-Based Signatures from Annular NTRU Trapdoors and Bimodal Fiat-Shamir with Aborts
Zhaohui Cheng and Hengfu Yang
MULTISS: Long-Term Secure Distributed Storage over Remote QKD Networks
Thomas Prévost, Olivier Alibart, Marc Kaplan, Pascal Lafourcade, Anne Marin and Charles Olivier-Anclin
Incremental Keyword Private Information Retrieval from d-ary Segmented Cuckoo Filters
Ninh Quoc-Bao
Static Detection of GTFO Binaries using Dataflow Patterns
Malte Wessels, Alicja Konior and Martin Johns
Distributed Key Generation for NTRU
Patrick Hough, Jérôme Nguyen, Caroline Sandsbråten and Tjerand Silde
A Shift in the Algorithmic View of LWPM? Coding-Theoretic and Optimisation-Based Approaches
Simona-Maria Lazarescu, Ioana Boureanu and Catalin Dragan
A State-based Safety Response Framework for Autonomous Vehicles under Cyber Attacks
Nhung Hong Nguyen, Hyunjae Kang, Tina Moghaddam, Myung Kil Ahn and Dan Dongseong Kim
Markov Structure and Feature Compositionality: Limits of Cross-Round Neural Transfer in Lightweight Ciphers
Angadjeet Singh, Aniket Gupta, Apaar Garg and Parth Sandeep Rastogi
On the Insecurity of Fuzzy Asymmetric PAKE via Adaptive Leakage Attacks
Liujun Yu, Katerina Mitrokotsa and Johannes Ottenhues
AsyncMiss: Exploiting Failed Pathname Lookup for an Asynchronous Covert Channel
Hongkuk Yoon, Hodong Kim, Seunghee Shin, Youngjoo Shin and Junbeom Hur
Graph-Walking and Cayley Hashes: Shorter Group Action Signatures
Hyungrok Jo and Arnaud Sipasseuth
Same but Different: Analyzing Differences in Global CVE Databases
Jan Hörnemann, Norbert Pohlmann, Tobias Urban and Matteo Große-Kampmann
A Generalized ISD Framework for Large-Weight Syndrome Decoding
Shintaro Narisada, Hiroki Okada, Yusuke Aikawa and Kazuhide Fukushima
Fast cube roots in F_{p^2} via the algebraic torus
Youssef El Housni
Improved Chosen-Ciphertext Side-Channel Attack on the Post-Quantum Cryptography Standard ML-KEM
Meiyan Chen, Kexin Qiao, Heng Chang, Changhai Ou, An Wang and Liehuang Zhu
Context Committing Security for Tweakable Enciphering Modes
Andreas Weninger, Elena Andreeva and Amit Singh Bhati
Deanonymization of TCP Clients via Off-Path Exploitation of NAT Mappings and ICMP Redirect
Suraj Sharma, Adityavir Singh and Mahabir Prasad Jhanwar
FALA: Finetuning-Activated Label-Agnostic Anchors for PEFT Supply Chain Backdoors
Boyao Ma, Junzhou Tang, Shanbin Li, Zhenghao Pan and Jiageng Chen
Beyond Binary Blocking: A Five-Layer Adaptive Intrusion Prevention Framework with Cross-Pipeline Threat Amplification
Nipuna Kaweya and Chathuri Udagedara
When the Phisher Writes with an LLM: A Factor-Level Study of Rewriting Evasion and CTA-Based Detection
Meiqi Hua, Jong-Kyou Kim, Aniket Mahanti, Ranesh Naha and Diksha Goel
Practical Wi-Fi Beacon Protection with Fine Timestamping
Hongyu Jin and Panos Papadimitratos
A Machine-Checked EUF-CMA Proof for the Hybrid Fiat-Shamir Signature Scheme
Sara Zain
Impossible Differential Attack on Mysterion
Dilip Sau, Shibam Ghosh, Dhiman Saha and Dipanwita Roy Chowdhury
A Secure Stable Matching Protocol with Linear Array-Access Complexity
Koki Hamada
SAS-model Authentication of Group Key Agreement without extra communication flows
Stanislaw Jarecki and Apurva Rai
Optimising a High-Dimensional Encrypted Search Pipeline across Three FHE Libraries: HElib, TenSEAL, and Concrete-Python
Mahzad Mahdavisharif, Anupama Ginige, Paul Middleton, Oliver Obst, Heidi Bjering and Jim Basilakis
Mini-FPSI: Lightweight Fuzzy PSI for the Hamming Metric
Neehar Verma and Françoise Levy-Dit-Vehel
PriVELA: Privacy-Preserving Vehicular Location Analytics with Secure Multi-Party Computation
Nergiz Yuca, Nikolay Matyunin and Stefan Katzenbeisser
Dynamic Universal Accumulators from Lattices
Madusha Chathurangi, Qinyi Li and Xavier Boyen
Merces: Confidential Token Transfers via MPC and CoSNARKs
Daniel Escudero, Florian Lugstein, Christian Rechberger, Verena Schröppel and Roman Walch
