TY  - RPRT
TI  - Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks
AU  - Nandakrishna Giri
AU  - Asmitha K. A.
AU  - Serena Nicolazzo
AU  - Antonino Nocera
AU  - Vinod P
PY  - 2026
UR  - https://arxiv.org/abs/2604.20495
ID  - 2604.20495
ER  -