Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ccs/BalutaSSMS19
AU - Baluta, Teodora
AU - Shen, Shiqi
AU - Shinde, Shweta
AU - Meel, Kuldeep S.
AU - Saxena, Prateek
TI - Quantitative Verification of Neural Networks and Its Security Applications.
BT - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019.
SP - 1249
EP - 1264
PY - 2019//
DO - 10.1145/3319535.3354245
UR - https://doi.org/10.1145/3319535.3354245
ER -
