| 2025 | KubeChecker: Detecting Configuration Bugs in Container Orchestration. | Yilin Sun, Dian Lyu, Cheng Cui, Hui Xu |
| 2025 | DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems. | Trisanth Srinivasan, Santosh V. Patapati, Himani Musku, Idhant Gode, Aditya Arora, Samvit Bhattacharya, Abubakr Nazriev, Sanika Hirave, Zaryab Kanjiani, Srinjoy Ghose |
| 2025 | Valkyrie: A Response Framework to Augment Runtime Detection of Time-Progressive Attacks. | Nikhilesh Singh, Chester Rebeiro |
| 2025 | Quantitative Security Metrics: Assessment of Cyberattack Scenarios for Cyber-Physical Systems. | Mike Da Silva, Nga Nguyen |
| 2025 | LiveGuard: Voice Liveness Detection via Wavelet Scattering Transform and Mel Spectrogram Scaling. | Liqun Shan, Xingli Zhang, Md. Imran Hossen, Xiali Hei |
| 2025 | Enhancing Accuracy in Approximate Byzantine Agreement with Bayesian Inference. | Roy Shadmon, Owen Arden |
| 2025 | Towards Robust Autonomous Landing Systems: Iterative Solutions and Key Lessons Learned. | Sebastian Schroder, Yao Deng, Alice James, Avishkar Seth, Kye Morton, Subhas Mukhopadhyay, Richard Han, Xi Zheng |
| 2025 | Privacy Analysis of Oblivious DNS over HTTPS: a Website Fingerprinting Study. | Mohammad Amir Salari, Abhinav Kumar, Federico Rinaudi, Reza Tourani, Alessio Sacco, Flavio Esposito |
| 2025 | Towards Continuous Integrity Attestation and Its Challenges in Practice: A Case Study of Keylime. | Margie Ruffin, Chenkai Wang, Gheorghe Almsi, Abdulhamid Adebayo, Hubertus Franke, Gang Wang |
| 2025 | Digital Cluster Circuits for Reliable Datacenters. | Davide Rovelli, Patrick Eugster |
| 2025 | PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes. | Pasquale De Rosa, Simon Queyrut, Yrom-David Bromberg, Pascal Felber, Valerio Schiavoni |
| 2025 | PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes. | Pasquale De Rosa, Simon Queyrut, Yrom-David Bromberg, Pascal Felber, Valerio Schiavoni |
| 2025 | ScamDetect: Towards a Robust, Agnostic Framework to Uncover Threats in Smart Contracts. | Pasquale De Rosa, Pascal Felber, Valerio Schiavoni |
| 2025 | On Predictive Modeling of Multi-Bit Upsets for Emulated Fault Injection. | Trishna Rajkumar, Johnny berg |
| 2025 | XMULT: An Energy-Efficient Design of Approximate Multiplier. | Ahsan Rafiq, Maksim Jenihhin |
| 2025 | Towards Automated and Explainable Threat Hunting with Generative AI. | Moumita Das Purba, Bill Chu, Will French |
| 2025 | Strategies to Describe and Timely Detect Attacks. | Tommaso Puccetti |
| 2025 | Decentralized Federated Learning: Enhancing Reliability with Blockchain. | Antonella Del Pozzo, Maxence Perion |
| 2025 | On the Resilience of INT8 Quantized Neural Networks on Low-Power RISC-V Devices. | Antonio Porsia, Giacomo Perlo, Annachiara Ruospo, Ernesto Snchez |
| 2025 | GnuZero: A Compiler-Based Zeroization Static Detection Tool for the Masses. | Pierrick Philippe, Mohamed Sabt, Pierre-Alain Fouque |
| 2025 | Regulating Prosumer Device Security: a Key Priority in Power Grid Protection. | Alfredo Petruolo, Luigi Coppolino, Roberto Nardone, Luigi Romano |
| 2025 | MichiCAN: Spoofing and Denial-of-Service Protection using Integrated CAN Controllers. | Mert D. Pes, Bulut Gzbyk, Eric Andrechek, Habeeb Olufowobi, Mohammad Hamad, Kang G. Shin |
| 2025 | Decoding DNS Centralization: Measuring and Identifying NS Domains Across Hosting Providers. | Qihang Peng, Mingming Zhang, Deliang Chang, Jia Zhang, Baojun Liu, Haixin Duan |
| 2025 | Supply Chain Malware Detection via Classical and Quantum Kernel Methods in Embedded Systems. | Sthefanie Jofer Gomes Passo, Vishal H. Kothavade, John J. Prevost |
| 2025 | Zero-Interference Containers: A Framework to Orchestrate Mixed-Criticality Applications. | Daniele Ottaviano, Marco Barletta, Francesco Boccola |