Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks

arXiv:2604.20495v1 Announce Type: cross Abstract: Machine learning-based static malware detectors remain vulnerable to adversarial evasion techniques, such as metamorphic engine mutations. To address this vulnerability, we propose a certifiably robust malware detection framework based on randomized smoothing through feature ablation and targeted noise injection. During evaluation, our system analyzes an executable by generating multiple ablated variants, classifies them by using a smoothed classifier, and identifies the final label based on the majority vote. By analyzing the top-class voting distribution and the Wilson score interval, we derive a formal certificate that guarantees robustness within a specific radius against feature-space perturbations. We evaluate our approach by comparing the performance of the base classifier and the smoothed classifier on both clean executables and ablated variants generated using PyMetaEngine. Our results demonstrate that the proposed smoothed classifier successfully provides certifiable robustness against metamorphic evasion attacks without requiring modifications to the underlying machine learning architecture.

Related

• Enhancing Anomaly-Based Intrusion Detection Systems with Process Mining
• Evaluating LLM-Generated Obfuscated XSS Payloads for Machine Learning-Based Detection
• Tracing the Chain: Deep Learning for Stepping-Stone Intrusion Detection
• Exact Certification of Neural Networks and Partition Aggregation Ensembles against Label Poisoning

Source: arXiv cs.LG | 2026-04-23