Certified Robustness of Static Deep Learning-based Malware Detectors against Patch and Append Attacks | Publicación