Formal Security Analysis of Neural Networks using Symbolic Intervals - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shiqi Wang' in GoogleThis author has not been identified. Look up 'Kexin Pei' in GoogleThis author has not been identified. Look up 'Justin Whitehouse' in GoogleThis author has not been identified. Look up 'Junfeng Yang' in GoogleThis author has not been identified. Look up 'Suman Jana' in Google

runs on WebDSL