Assessing the Software Security Comprehension of Large Language Models
Authors: Mohammed Latif Siddiq, Natalie Sekerak, Antonio Karam, Maria Leal, Arvin Islam-Gomes, Joanna C. S. Santos | Published: 2025-12-24
Security Analysis Method
Optimistic TEE-Rollups: A Hybrid Architecture for Scalable and Verifiable Generative AI Inference on Blockchain
Authors: Aaron Chan, Alex Ding, Frank Chen, Alan Wu, Bruce Zhang, Arther Tian | Published: 2025-12-23
Fault Injection Attacks on Machine Learning-based Quantum Computer Readout Error Correction
Authors: Anthony Etim, Jakub Szefer | Published: 2025-12-23
PACEbench: A Framework for Evaluating Practical AI Cyber-Exploitation Capabilities
Authors: Zicheng Liu, Lige Huang, Jie Zhang, Dongrui Liu, Yuan Tian, Jing Shao | Published: 2025-10-13
TypePilot: Leveraging the Scala Type System for Secure LLM-generated Code
Authors: Alexander Sternfeld, Andrei Kucharavy, Ljiljana Dolamic | Published: 2025-10-13
Fewer Weights, More Problems: A Practical Attack on LLM Pruning
Authors: Kazuki Egashira, Robin Staab, Thibaud Gloaguen, Mark Vero, Martin Vechev | Published: 2025-10-09
Defending against Stegomalware in Deep Neural Networks with Permutation Symmetry
Authors: Birk Torpmann-Hagen, Michael A. Riegler, Pål Halvorsen, Dag Johansen | Published: 2025-09-23 | Updated: 2025-10-15
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
Authors: Wasuwee Sodsong, Bernhard Scholz, Sanjay Chawla | Published: 2017-11-03
Semi-supervised classification for dynamic Android malware detection
Authors: Li Chen, Mingwei Zhang, Chih-Yuan Yang, Ravi Sahita | Published: 2017-04-19
A Security Monitoring Framework For Virtualization Based HEP Infrastructures
Authors: A. Gomez Ramirez, M. Martinez Pedreira, C. Grigoras, L. Betev, C. Lara, U. Kebschull | Published: 2017-04-16