Certifiably robust malware detectors by design

Pierre-Francois Gimenez, Sarath Sivaprasad, Mario Fritz

Malware analysis involves analyzing suspicious software to detect malicious payloads. Static malware analysis, which does not require software execution, relies increasingly on mac…