Suman Jana

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Comment on Revisiting Neural Program Smoothing for Fuzzing	2024	Dongdong She Kexin Pei Junfeng Yang Baishakhi Ray Suman Jana
+ PDF Chat	FOX: Coverage-guided Fuzzing as Online Stochastic Control	2024	Dongdong She Adam Storek Yuchong Xie Seoyoung Kweon Prashast Srivastava Suman Jana
+ PDF Chat	Neural Network Verification with Branch-and-Bound for General Nonlinearities	2024	Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho‐Jui Hsieh Huan Zhang
+	TrustLLM: Trustworthiness in Large Language Models	2024	Lichao Sun Y. Huang Haoran Wang Siyuan Wu Qihui Zhang Chujie Gao Yixing Huang Wenhan Lyu Yixuan Zhang Xiner Li
+	Symmetry-Preserving Program Representations for Learning Code Semantics	2023	Kexin Pei Weichen Li Qirui Jin Shuyang Liu Scott Geng Lorenzo Cavallaro Junfeng Yang Suman Jana
+	PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses	2023	Chong Xiang Tong Wu Sihui Dai Jonathan Petit Suman Jana Prateek Mittal
+	Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain	2023	Marcus J. Min Yangruibo Ding Luca Buratti Saurabh Pujar Gail E. Kaiser Suman Jana Baishakhi Ray
+ PDF Chat	MC2	2022	Abhishek Shah Dongdong She Samanway Sadhu Krish Singal Peter Coffman Suman Jana
+ PDF Chat	NeuDep: neural binary memory dependence analysis	2022	Kexin Pei Dongdong She Michael Wang Scott Geng Zhou Xuan Yaniv David Junfeng Yang Suman Jana Baishakhi Ray
+ PDF Chat	Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks	2022	Suyoung Lee Wonho Song Suman Jana Meeyoung Cha Sooel Son
+ PDF Chat	Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis	2022	Dongdong She Abhishek Shah Suman Jana
+	General Cutting Planes for Bound-Propagation-Based Neural Network Verification	2022	Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Bo Li Suman Jana Cho‐Jui Hsieh J. Zico Kolter
+	Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis	2022	Dongdong She Abhishek Shah Suman Jana
+ PDF Chat	Learning Security Classifiers with Verified Global Robustness Properties	2021	Yizheng Chen Shiqi Wang Yue Qin Xiaojing Liao Suman Jana David Wagner
+	Fine Grained Dataflow Tracking with Proximal Gradients	2021	Gabriel Ryan Abhishek Shah Dongdong She Koustubha Bhat Suman Jana
+	Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification.	2021	Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho‐Jui Hsieh J. Zico Kolter
+	XDA: Accurate, Robust Disassembly with Transfer Learning	2021	Kexin Pei Jonas Guan David Williams-King Junfeng Yang Suman Jana
+	Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification	2021	Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho‐Jui Hsieh J. Zico Kolter
+	Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks	2021	Suyong Lee Wonho Song Suman Jana Meeyoung Cha Sooel Son
+ PDF Chat	MTFuzz: fuzzing with a multi-task neural network	2020	Dongdong She Rahul Krishna Yan Lu Suman Jana Baishakhi Ray
+	Learning nonlinear loop invariants with gated continuous logic networks	2020	Jianan Yao Gabriel Ryan Justin Wong Suman Jana Ronghui Gu
+ PDF Chat	Neutaint: Efficient Dynamic Taint Analysis with Neural Networks	2020	Dongdong She Yizheng Chen Abhishek Shah Baishakhi Ray Suman Jana
+	HYDRA: Pruning Adversarially Robust Neural Networks	2020	Vikash Sehwag Shiqi Wang Prateek Mittal Suman Jana
+	Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap	2020	Somali Chaterji Parinaz Naghizadeh Ashraful Alam Saurabh Bagchi Mung Chiang David Corman Brian J. Henz Suman Jana Na Li Shaoshuai Mou
+	Towards Practical Lottery Ticket Hypothesis for Adversarial Training	2020	Bai Li Shiqi Wang Yunhan Jia Yantao Lu Zhenyu Zhong Lawrence Carin Suman Jana
+	Towards Understanding Fast Adversarial Training	2020	Bai Li Shiqi Wang Suman Jana Lawrence Carin
+	Ensuring Fairness Beyond the Training Data	2020	Debmalya Mandal Samuel Deng Suman Jana Jeannette M. Wing Daniel Hsu
+	On Training Robust {PDF} Malware Classifiers	2020	Yizheng Chen Shiqi Wang Dongdong She Suman Jana
+	XDA: Accurate, Robust Disassembly with Transfer Learning	2020	Kexin Pei Jonas Guan David Williams-King Junfeng Yang Suman Jana
+	Ensuring Fairness Beyond the Training Data	2020	Debmalya Mandal Samuel Deng Suman Jana Jeannette M. Wing Daniel Hsu
+	Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers	2020	Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho‐Jui Hsieh
+	Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity	2020	Kexin Pei Xuan Zhou Junfeng Yang Suman Jana Baishakhi Ray
+	HYDRA: Pruning Adversarially Robust Neural Networks	2020	Vikash Sehwag Shiqi Wang Prateek Mittal Suman Jana
+	Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures.	2019	Saurabh Bagchi Vaneet Aggarwal Somali Chaterji Fred Douglis Aly El Gamal Jiawei Han Brian J. Henz Hank Hoffmann Suman Jana Milind Kulkarni
+	Training Robust Tree Ensembles for Security	2019	Yizheng Chen Shiqi Wang Weifan Jiang Asaf Cidon Suman Jana
+	CLN2INV: Learning Loop Invariants with Continuous Logic Networks	2019	Gabriel Ryan Justin Wong Jianan Yao Ronghui Gu Suman Jana
+ PDF Chat	NEUZZ: Efficient Fuzzing with Neural Program Smoothing	2019	Dongdong She Kexin Pei Dave Epstein Junfeng Yang Baishakhi Ray Suman Jana
+ PDF Chat	Certified Robustness to Adversarial Examples with Differential Privacy	2019	Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel Hsu Suman Jana
+	On Training Robust PDF Malware Classifiers	2019	Yizheng Chen Shiqi Wang Dongdong She Suman Jana
+	Enhancing Gradient-based Attacks with Symbolic Intervals	2019	Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana
+	Towards Compact and Robust Deep Neural Networks	2019	Vikash Sehwag Shiqi Wang Prateek Mittal Suman Jana
+	Neutaint: Efficient Dynamic Taint Analysis with Neural Networks	2019	Dongdong She Yizheng Chen Baishakhi Ray Suman Jana
+	Fine Grained Dataflow Tracking with Proximal Gradients	2019	Gabriel Ryan Abhishek Shah Dongdong She Koustubha Bhat Suman Jana
+	Cost-Aware Robust Tree Ensembles for Security Applications	2019	Yizheng Chen Shiqi Wang Weifan Jiang Asaf Cidon Suman Jana
+	Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures	2019	Saurabh Bagchi Vaneet Aggarwal Somali Chaterji Fred Douglis Aly El Gamal Jiawei Han Brian J. Henz Hank Hoffmann Suman Jana Milind Kulkarni
+	CLN2INV: Learning Loop Invariants with Continuous Logic Networks	2019	Gabriel Ryan Justin Wong Jianan Yao Ronghui Gu Suman Jana
+	On Training Robust PDF Malware Classifiers	2019	Yizheng Chen Shiqi Wang Dongdong She Suman Jana
+	MixTrain: Scalable Training of Formally Robust Neural Networks.	2018	Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana
+	Formal Security Analysis of Neural Networks using Symbolic Intervals	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana
+	NEUZZ: Efficient Fuzzing with Neural Program Learning	2018	Dongdong She Kexin Pei Dave Epstein Junfeng Yang Baishakhi Ray Suman Jana
+	On the Connection between Differential Privacy and Adversarial Robustness in Machine Learning	2018	Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel Hsu Suman Jana
+	Certified Robustness to Adversarial Examples with Differential Privacy	2018	Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel Hsu Suman Jana
+	Formal Security Analysis of Neural Networks using Symbolic Intervals	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana
+	Efficient Formal Safety Analysis of Neural Networks	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana
+	NEUZZ: Efficient Fuzzing with Neural Program Smoothing	2018	Dongdong She Kexin Pei Dave Epstein Junfeng Yang Baishakhi Ray Suman Jana
+	Efficient Formal Safety Analysis of Neural Networks	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana
+	Certified Robustness to Adversarial Examples with Differential Privacy	2018	Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel Hsu Suman Jana
+	MixTrain: Scalable Training of Verifiably Robust Neural Networks	2018	Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana
+ PDF Chat	SlowFuzz	2017	Theofilos Petsios Jason Zhao Angelos D. Keromytis Suman Jana
+ PDF Chat	DeepXplore	2017	Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana
+	Tug-of-War: Observations on Unified Content Handling.	2017	Theofilos Petsios Adrian Tang Dimitris Mitropoulos Salvatore J. Stolfo Angelos D. Keromytis Suman Jana
+	DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars	2017	Yuchi Tian Kexin Pei Suman Jana Baishakhi Ray
+	Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems	2017	Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana
+	Tug-of-War: Observations on Unified Content Handling	2017	Theofilos Petsios Adrian Tang Dimitris Mitropoulos Salvatore J. Stolfo Angelos D. Keromytis Suman Jana
+	Robust and Efficient Elimination of Cache and Timing Side Channels	2015	Benjamin Braun Suman Jana Dan Boneh
+	Apples and Oranges: Detecting Least-Privilege Violators with Peer Group Analysis	2015	Iulia Ion Suman Jana Úlfar Erlingsson

Common Coauthors

Coauthor	Papers Together
Shiqi Wang	20
Dongdong She	17
Kexin Pei	15
Junfeng Yang	13
Yizheng Chen	11
Baishakhi Ray	10
Prateek Mittal	6
Abhishek Shah	6
Daniel Hsu	6
Kaidi Xu	5
Gabriel Ryan	5
Cho‐Jui Hsieh	5
Vaggelis Atlidakis	4
Justin Whitehouse	4
Mathias Lécuyer	4
Roxana Geambasu	4
Dave Epstein	3
Angelos D. Keromytis	3
Shaoshuai Mou	3
Ahmed Abdou	3
Saurabh Bagchi	3
Somali Chaterji	3
Yinzhi Cao	3
Ronghui Gu	3
Vikash Sehwag	3
Huan Zhang	3
Brian J. Henz	3
Theofilos Petsios	3
Justin Wong	3
Jianan Yao	3
David Williams-King	2
J. Zico Kolter	2
Sooel Son	2
Salvatore J. Stolfo	2
Dimitris Mitropoulos	2
Jiawei Han	2
Lawrence Carin	2
Vaneet Aggarwal	2
Fred Douglis	2
Adrian Tang	2
Samuel Deng	2
Asaf Cidon	2
Karen Marais	2
Meeyoung Cha	2
Aly El Gamal	2
Debmalya Mandal	2
Junfeng Yang	2
Koustubha Bhat	2
Scott Geng	2
Xue Lin	2

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Towards Evaluating the Robustness of Neural Networks	2017	Nicholas Carlini David Wagner	16
+ PDF Chat	Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks	2017	Guy Katz Clark Barrett David L. Dill Kyle D. Julian Mykel J. Kochenderfer	14
+	Towards Deep Learning Models Resistant to Adversarial Attacks.	2018	Aleksander Mądry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu	12
+	Efficient Formal Safety Analysis of Neural Networks	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana	12
+	Formal Security Analysis of Neural Networks using Symbolic Intervals	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana	11
+	Provable defenses against adversarial examples via the convex outer adversarial polytope	2017	Eric Wong J. Zico Kolter	11
+	Provable defenses against adversarial examples via the convex outer adversarial polytope	2017	J. Zico Kolter Eric Wong	10
+ PDF Chat	Deep Residual Learning for Image Recognition	2016	Kaiming He Xiangyu Zhang Shaoqing Ren Jian Sun	10
+ PDF Chat	The Limitations of Deep Learning in Adversarial Settings	2016	Nicolas Papernot Patrick McDaniel Somesh Jha Matt Fredrikson Z. Berkay Celik Ananthram Swami	10
+ PDF Chat	DeepXplore	2017	Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana	10
+ PDF Chat	Safety Verification of Deep Neural Networks	2017	Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu	9
+ PDF Chat	Angora: Efficient Fuzzing by Principled Search	2018	Peng Chen Hao Chen	9
+	MixTrain: Scalable Training of Formally Robust Neural Networks.	2018	Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana	9
+	Training verified learners with learned verifiers	2018	Krishnamurthy Dvijotham Sven Gowal Robert Stanforth Relja Arandjelović Brendan O’Donoghue Jonathan Uesato Pushmeet Kohli	8
+ PDF Chat	Practical Black-Box Attacks against Machine Learning	2017	Nicolas Papernot Patrick McDaniel Ian Goodfellow Somesh Jha Z. Berkay Celik Ananthram Swami	8
+	End to End Learning for Self-Driving Cars	2016	Mariusz Bojarski Davide Del Testa Daniel Dworakowski Bernhard Firner Beat Flepp Prasoon Goyal Lawrence D. Jackel Mathew Monfort Urs Müller Jiakai Zhang	8
+	Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps	2013	Karen Simonyan Andrea Vedaldi Andrew Zisserman	8
+ PDF Chat	Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks	2016	Nicolas Papernot Patrick McDaniel Xi Wu Somesh Jha Ananthram Swami	8
+	Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples	2018	Anish Athalye Nicholas Carlini David Wagner	7
+	Wide Residual Networks	2016	Sergey Zagoruyko Nikos Komodakis	7
+ PDF Chat	Certified Robustness to Adversarial Examples with Differential Privacy	2019	Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel Hsu Suman Jana	6
+	On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models	2018	Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin Jonathan Uesato Relja Arandjelović Timothy Mann Pushmeet Kohli	6
+	Semidefinite relaxations for certifying robustness to adversarial examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	6
+ PDF Chat	NEUZZ: Efficient Fuzzing with Neural Program Smoothing	2019	Dongdong She Kexin Pei Dave Epstein Junfeng Yang Baishakhi Ray Suman Jana	6
+	A Dual Approach to Scalable Verification of Deep Networks	2018	Krishnamurthy Dvijotham Robert Stanforth Sven Gowal Timothy Mann Pushmeet Kohli	6
+	Adversarial Machine Learning at Scale	2016	Alexey Kurakin Ian Goodfellow Samy Bengio	6
+	Towards Deep Neural Network Architectures Robust to Adversarial Examples	2014	Shixiang Gu Luca Rigazio	5
+	Towards Fast Computation of Certified Robustness for ReLU Networks	2018	Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho‐Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel	5
+ PDF Chat	Deep neural networks are easily fooled: High confidence predictions for unrecognizable images	2015	Anh‐Tu Nguyen Jason Yosinski Jeff Clune	5
+	Ensemble Adversarial Training: Attacks and Defenses	2017	Florian Tramèr Alexey Kurakin Nicolas Papernot Ian Goodfellow Dan Boneh Patrick McDaniel	5
+	Certified Defenses against Adversarial Examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	5
+	Not all bytes are equal: Neural byte sieve for fuzzing	2017	Mohit Rajpal William Blum Rishabh Singh	5
+ PDF Chat	Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection	2017	Xiaojun Xu Chang Liu Feng Qian Heng Yin Le Song Dawn Song	5
+	Neural Programmer-Interpreters	2016	Scott Reed Nando de Freitas	5
+	On Detecting Adversarial Perturbations	2017	Jan Hendrik Metzen Tim Genewein Volker Fischer Bastian Bischoff	5
+	Understanding Neural Networks Through Deep Visualization	2015	Jason Yosinski Jeff Clune Anh Mai Nguyen Thomas J. Fuchs Hod Lipson	4
+	Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution	2018	Shiqi Shen Soundarya Ramesh Shweta Shinde Abhik Roychoudhury Prateek Saxena	4
+	Parseval Networks: Improving Robustness to Adversarial Examples	2017	Moustapha Cissé Piotr Bojanowski Édouard Grave Yann Dauphin Nicolas Usunier	4
+	Synthesizing program input grammars	2017	Osbert Bastani Rahul Sharma Alex Aiken Percy Liang	4
+	Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift	2015	Sergey Ioffe Christian Szegedy	4
+	Certified Defenses against Adversarial Examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	4
+	Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach	2018	Tsui-Wei Weng Huan Zhang Pin‐Yu Chen Jinfeng Yi Dong Su Yupeng Gao Cho‐Jui Hsieh Luca Daniel	4
+	Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study	2017	Matteo Fischetti Jason Jo	4
+ PDF Chat	Understanding deep image representations by inverting them	2015	Aravindh Mahendran Andrea Vedaldi	4
+ PDF Chat	Rethinking the Inception Architecture for Computer Vision	2016	Christian Szegedy Vincent Vanhoucke Sergey Ioffe Jon Shlens Zbigniew Wojna	4
+	Adversarial Perturbations Against Deep Neural Networks for Malware Classification	2016	Kathrin Grosse Nicolas Papernot Praveen Manoharan Michael Backes Patrick McDaniel	4
+	Faster Fuzzing: Reinitialization with Deep Neural Models	2017	Nicole Nichols Mark Raugas Robert Jasper Nathan Hilliard	4
+	Delving into Transferable Adversarial Examples and Black-box Attacks	2016	Yanpei Liu Xinyun Chen Chang Liu Dawn Song	4
+ PDF Chat	Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks	2017	Rüdiger Ehlers	4
+	Certified Adversarial Robustness via Randomized Smoothing	2019	Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter	4