@misc{indiciaecdcaff6bbb51,
  title = {Certifying Decision Trees Against Evasion Attacks by Program Analysis},
  author = {Stefano Calzavara and Pietro Ferrara and Claudio Lucchese},
  year = {2020},
  url = {https://arxiv.org/abs/2007.02771},
  note = {Source identifier: 2007.02771}
}