Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks. - Nandakrishna Giri; K. A. Asmitha; Serena Nicolazzo; Antonino Nocera; Vinod P. 001 (CoRR, 2026)