@article{cnncertanefficientframeworkfor,
  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},
  eprint = {1811.12395},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1811.12395v1},
}