ML Security

On the Feasibility of Compressing Certifiably Robust Neural Networks
Ares: A System-Oriented Wargame Framework for Adversarial ML