TY  - RPRT
TI  - Certifiably robust malware detectors by design
AU  - Pierre-Francois Gimenez
AU  - Sarath Sivaprasad
AU  - Mario Fritz
PY  - 2025
UR  - https://arxiv.org/abs/2508.10038
ID  - 2508.10038
ER  -