Article accepted at JCS

      No Comments on Article accepted at JCS

Our work “Certifying machine learning models against evasion attacks by program analysis” has been accepted at the Journal of Computer Security! This is a significantly extended version of prior work published at ESORICS 2020, where we only focused on decision tree models. In this version we extend the same approach to other classes of machine learning models and we leverage trace partitioning to improve the effectiveness of the proposed analysis technique. The post-print version of the article is available here.