Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
Authors: Chengyan Ma, Jieke Shi, Ruidong Han, Ye Liu, Yuqing Niu, David Lo | Published: 2026-05-21
AIセキュリティポータルbot
Secure and Parallel Determinant Computation for Large-Scale Matrices in Edge Environments
Authors: Prajwal Panth | Published: 2026-05-21
Parser-Free Querying of Security Logs
Authors: Evan Luo, Julien Piet, David Wagner | Published: 2026-05-21
Optimal Guarantees for Auditing Rényi Differentially Private Machine Learning
Authors: Benjamin D. Kim, Lav R. Varshney, Daniel Alabi | Published: 2026-05-21
An Application-Layer Multi-Modal Covert-Channel Reference Monitor for LLM Agent Egress
Authors: Alfredo Metere | Published: 2026-05-20
Exploring and Developing a Pre-Model Safeguard with Draft Models
Authors: Hongyu Cai, Arjun Arunasalam, Yiming Liang, Antonio Bianchi, Z. Berkay Celik | Published: 2026-05-19
Quantum Machine Learning for Cyber-Physical Anomaly Detection in Unmanned Aerial Vehicles: A Leakage-Free Evaluation with Proxy-Audited Feature Sets
Authors: Carlos A. Durán Paredes, Javier E. León Calderón, Nicolás Sánchez Perea, German Darío Díaz, Camilo Segura Quintero | Published: 2026-05-19
MetaBackdoor: Exploiting Positional Encoding as a Backdoor Attack Surface in LLMs
Authors: Rui Wen, Mark Russinovich, Andrew Paverd, Jun Sakuma, Ahmed Salem | Published: 2026-05-14
PickleFuzzer: A Case Study in Fuzzing for Discrepancies Between Python Pickle Implementations
Authors: Justin Applegate, Andreas Kellas | Published: 2026-05-14
Toward Securing AI Agents Like Operating Systems
Authors: Lukas Pirch, Micha Horlboge, Patrick Großmann, Syeda Mahnur Asif, Klim Kireev, Thorsten Holz, Konrad Rieck | Published: 2026-05-14