Sched.com Conference Mobile Apps
27th USENIX Security Symposium
has ended
Create Your Own Event
27th USENIX Security Symposium
-
Saved To
My Schedule
Schedule
Simple
Expanded
Grid
By Venue
Sponsors
Map
Search
menu
Menu
Schedule
Sponsors
Map
Search
Download our free app:
Back To Schedule
Friday
, August 17 • 3:40pm - 4:05pm
Formal Security Analysis of Neural Networks using Symbolic Intervals
Sign up
or
log in
to save this to your schedule, view media, leave feedback and see who's attending!
Tweet
Share
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana, Columbia University
Friday August 17, 2018 3:40pm - 4:05pm EDT
Grand Ballroom 7-10
Security '18 Track 2