@article{autoxiv_autoxiv_260423_0041,
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},
eprint = {autoxiv.260423.0041},
archivePrefix= {autoxiv}
}