Stefano Calzavara, Pietro Ferrara, Claudio Lucchese. Certifying Decision Trees Against Evasion Attacks by Program Analysis. In Liqun Chen, Ninghui Li, Kaitai Liang, Steve A. Schneider, editors, Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II. Volume 12309 of Lecture Notes in Computer Science, pages 421-438, Springer, 2020. [doi]
Abstract is missing.