@misc{indiciae3cff356a7d1d,
  title = {Learning Security Classifiers with Verified Global Robustness Properties},
  author = {Yizheng Chen and Shiqi Wang and Yue Qin and Xiaojing Liao and Suman Jana and David Wagner},
  year = {2021},
  doi = {10.1145/3460120.3484776},
  url = {https://arxiv.org/abs/2105.11363},
  note = {Source identifier: 2105.11363}
}