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

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Suman Jana

Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks


Jun 18, 2021
Suyoung Lee, Wonho Song, Suman Jana, Meeyoung Cha, Sooel Son


  Access Paper or Ask Questions

Learning Security Classifiers with Verified Global Robustness Properties


May 24, 2021
Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David Wagner


  Access Paper or Ask Questions

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification


Mar 11, 2021
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter

* Shiqi Wang, Huan Zhang and Kaidi Xu contributed equally 

  Access Paper or Ask Questions

Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity


Dec 29, 2020
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray

* To appear in 42nd IEEE Symposium on Security and Privacy (Oakland S&P 2021) 

  Access Paper or Ask Questions

Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers


Nov 27, 2020
Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh


  Access Paper or Ask Questions

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