Yu Li 0007, Min Li 0019, Bo Luo, Ye Tian 0010, Qiang Xu 0001. DeepDyve: Dynamic Verification for Deep Neural Networks. In Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, editors, CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020. pages 101-112, ACM, 2020. [doi]
@inproceedings{00070L0020,
title = {DeepDyve: Dynamic Verification for Deep Neural Networks},
author = {Yu Li 0007 and Min Li 0019 and Bo Luo and Ye Tian 0010 and Qiang Xu 0001},
year = {2020},
doi = {10.1145/3372297.3423338},
url = {https://doi.org/10.1145/3372297.3423338},
researchr = {https://researchr.org/publication/00070L0020},
cites = {0},
citedby = {0},
pages = {101-112},
booktitle = {CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020},
editor = {Jay Ligatti and Xinming Ou and Jonathan Katz and Giovanni Vigna},
publisher = {ACM},
isbn = {978-1-4503-7089-9},
}