Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana. Formal Security Analysis of Neural Networks using Symbolic Intervals. In William Enck, Adrienne Porter Felt, editors, 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018. pages 1599-1614, USENIX Association, 2018. [doi]
Abstract is missing.