@misc{indiciae83125a393ef0,
  title = {CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks},
  author = {Akhilan Boopathy and Tsui-Wei Weng and Pin-Yu Chen and Sijia Liu and Luca Daniel},
  year = {2018},
  url = {https://arxiv.org/abs/1811.12395},
  note = {Source identifier: 1811.12395}
}