New paper on static analysis of machine learning model accepted by the Journal of Computer Security!

Our recent work on “Certifying Machine Learning Models Against Evasion Attacks by Program Analysis” has been accepted for publication by the Journal of Computer Security. Here a preprint of the pape