Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
XDA: Accurate, Robust Disassembly with Transfer Learning

Oct 27, 2020
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana

* To appear in 2021 Network and Distributed System Security Symposium (NDSS 2021) 

  Access Paper or Ask Questions

Ensuring Fairness Beyond the Training Data

Jul 12, 2020
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel Hsu

* 18 pages, 3 figures 

  Access Paper or Ask Questions

Towards Understanding Fast Adversarial Training

Jun 04, 2020
Bai Li, Shiqi Wang, Suman Jana, Lawrence Carin


  Access Paper or Ask Questions

Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks

Apr 10, 2020
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu


  Access Paper or Ask Questions

Towards Practical Lottery Ticket Hypothesis for Adversarial Training

Mar 06, 2020
Bai Li, Shiqi Wang, Yunhan Jia, Yantao Lu, Zhenyu Zhong, Lawrence Carin, Suman Jana


  Access Paper or Ask Questions

On Pruning Adversarially Robust Neural Networks

Feb 24, 2020
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana

* 19 pages, 14 figures, 8 tables 

  Access Paper or Ask Questions

Training Robust Tree Ensembles for Security

Dec 03, 2019
Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana


  Access Paper or Ask Questions

CLN2INV: Learning Loop Invariants with Continuous Logic Networks

Oct 17, 2019
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana


  Access Paper or Ask Questions

Towards Compact and Robust Deep Neural Networks

Jun 14, 2019
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana

* 14 pages, 9 figures, 7 tables 

  Access Paper or Ask Questions

Enhancing Gradient-based Attacks with Symbolic Intervals

Jun 05, 2019
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana


  Access Paper or Ask Questions

On Training Robust PDF Malware Classifiers

Apr 06, 2019
Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana


  Access Paper or Ask Questions

MixTrain: Scalable Training of Verifiably Robust Neural Networks

Dec 01, 2018
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana


  Access Paper or Ask Questions

NEUZZ: Efficient Fuzzing with NeuralProgram Smoothing

Nov 04, 2018
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana


  Access Paper or Ask Questions

Efficient Formal Safety Analysis of Neural Networks

Oct 26, 2018
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

* Accepted to NIPS'18 

  Access Paper or Ask Questions

Certified Robustness to Adversarial Examples with Differential Privacy

Oct 07, 2018
Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana


  Access Paper or Ask Questions

Formal Security Analysis of Neural Networks using Symbolic Intervals

Jul 01, 2018
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

* Accepted to USENIX Security 2018 

  Access Paper or Ask Questions

DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars

Mar 20, 2018
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray


  Access Paper or Ask Questions

Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems

Dec 16, 2017
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

* 16 pages, 11 tables, 11 figures 

  Access Paper or Ask Questions

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

Sep 24, 2017
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

* To be published in SOSP'17 

  Access Paper or Ask Questions