Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena. Quantitative Verification of Neural Networks and Its Security Applications. In Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang 0001, Jonathan Katz, editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. pages 1249-1264, ACM, 2019. [doi]
@inproceedings{BalutaSSMS19,
title = {Quantitative Verification of Neural Networks and Its Security Applications},
author = {Teodora Baluta and Shiqi Shen and Shweta Shinde and Kuldeep S. Meel and Prateek Saxena},
year = {2019},
doi = {10.1145/3319535.3354245},
url = {https://doi.org/10.1145/3319535.3354245},
researchr = {https://researchr.org/publication/BalutaSSMS19},
cites = {0},
citedby = {0},
pages = {1249-1264},
booktitle = {Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019},
editor = {Lorenzo Cavallaro and Johannes Kinder and Xiaofeng Wang 0001 and Jonathan Katz},
publisher = {ACM},
isbn = {978-1-4503-6747-9},
}