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]
Abstract is missing.