| 2025 | On the Security of SSH Client Signatures. | Fabian Bumer, Marcus Brinkmann, Maximilian Radoy, Jrg Schwenk, Juraj Somorovsky |
| 2025 | SURE '25: The 1st ACM Workshop on Software Understanding and Reverse Engineering. | Zion Leonahenahe Basque, Ati Priya Bajaj |
| 2025 | Mechanizing Privacy by Design. | David A. Basin, Franois Hublet, Srdan Krstic, Hong Nguyen |
| 2025 | Empirical Security Analysis of Software-based Fault Isolation through Controlled Fault Injection. | Nils Bars, Lukas Bernhard, Moritz Schloegel, Thorsten Holz |
| 2025 | CheckMATE '25: Research on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks. | Sbastien Bardin, Michele Ianni, Hyungon Moon |
| 2025 | Formally Verified Correctness Bounds for Lattice-Based Cryptography. | Manuel Barbosa, Matthias J. Kannwischer, Thing-Han Lim, Peter Schwabe, Pierre-Yves Strub |
| 2025 | Aegis: Tethering a Blockchain with Primary-Chain Stake. | Yogev Bar-On, Roi Bar Zur, Omer Ben-Porat, Nimrod Cohen, Ittay Eyal, Matan Sitbon |
| 2025 | Velox: Scalable Fair Asynchronous MPC from Lightweight Cryptography. | Akhil Bandarupalli, Xiaoyu Ji, Aniket Kate, Chen-Da Liu-Zhang, Daniel Pllmann, Yifan Song |
| 2025 | Byte by Byte: Unmasking Browser Fingerprinting at the Function Level using V8 Bytecode Transformers. | Pouneh Nikkhah Bahrami, Dylan Cutler, Igor Bilogrevic |
| 2025 | Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation. | Vidal Attias, Nicolas Bellec, Grgoire Menguy, Sbastien Bardin, Jean-Yves Marion |
| 2025 | MegaBlocks: Breaking the Logarithmic I/O-Overhead Barrier for Oblivious RAM. | Gilad Asharov, Eliran Eiluz, Ilan Komargodski, Wei-Kai Lin |
| 2025 | OCR-APT: Reconstructing APT Stories from Audit Logs using Subgraph Anomaly Detection and LLMs. | Ahmed Aly, Essam Mansour, Amr M. Youssef |
| 2025 | Deep Learning from Imperfectly Labeled Malware Data. | Fahad Alotaibi, Euan Goodbrand, Sergio Maffeis |
| 2025 | Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, Joo Diogo Duarte, Benjamin Grgoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2025 | How to Recover a Cryptographic Secret From the Cloud. | David Adei, Chris Orsini, Alessandra Scafuro, Tanner Verber |
| 2025 | 5G-RNAKA : A Random Number-based Authentication and Key Agreement Protocol for 5G Systems. | Hui Li, Haotian Li, Chi Ma, Jingjing Guan, Junchi Zeng, Haonan Feng, Ziming Zhao |
| 2025 | Poster: Adaptive Gradient Clipping with Personalized Differential Privacy for Heterogeneous Federated Learning. | Hao Zhou, Hua Dai, Siqi Cai, Geng Yang, Yang Xiang |
| 2025 | Empowering Parents to Support Children's Online Security and Privacy: Findings from a Randomized Controlled Trial. | Xiaowei Chen, Verena Distler, Chloe Gordon, Yaxing Yao, Ziwen Teuber |
| 2025 | ForeDroid: Scenario-Aware Analysis for Android Malware Detection and Explanation. | Jiaming Li, Sen Chen, Chunlian Wu, Yuxin Zhang, Lingling Fan |
| 2025 | GhostCache: Timer- and Counter-Free Cache Attacks Exploiting Weak Coherence on RISC-V and ARM Chips. | Yu Jin, Minghong Sun, Dongsheng Wang, Pengfei Qiu, Yinqian Zhang, Shuwen Deng |
| 2025 | Time Tells All: Deanonymization of Blockchain RPC Users with Zero Transaction Fee. | Shan Wang, Ming Yang, Yu Liu, Yue Zhang, Shuaiqing Zhang, Zhen Ling, Jiannong Cao, Xinwen Fu |
| 2025 | End-to-End Encrypted Git Services. | Ya-Nan Li, Yaqing Song, Qiang Tang, Moti Yung |
| 2025 | SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution. | Yu Hao, Juefei Pu, Xingyu Li, Zhiyun Qian, Ardalan Amiri Sani |
| 2025 | TensorShield: Safeguarding On-Device Inference by Shielding Critical DNN Tensors with TEE. | Tong Sun, Bowen Jiang, Hailong Lin, Borui Li, Yixiao Teng, Yi Gao, Wei Dong |
| 2025 | DPImageBench: A Unified Benchmark for Differentially Private Image Synthesis. | Chen Gong, Kecen Li, Zinan Lin, Tianhao Wang |