Learning Security Classifiers with Verified Global Robustness Properties.

Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner

Browse the full CCS paper archive.