@misc{indiciaee7cf8695a27f, title = {Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks}, author = {Nandakrishna Giri and Asmitha K. A. and Serena Nicolazzo and Antonino Nocera and Vinod P}, year = {2026}, url = {https://arxiv.org/abs/2604.20495}, note = {Source identifier: 2604.20495} }