Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks - Databubble