USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Kexin Pei [Clear All Filters]
.
2018. Formal Security Analysis of Neural Networks using Symbolic Intervals. 27th USENIX Security Symposium (USENIX Security 18). :1599--1614.