Suman Jana

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 88

Top Venues

CoRR

USENIX Security Symposium

IEEE Symposium on Security and Privacy

NeurIPS

Publications

Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain. ICLR (2024)
Chong Xiang, Tong Wu, Sihui Dai, Jonathan Petit, Suman Jana, Prateek Mittal
PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses. USENIX Security Symposium (2024)
Dongdong She, Adam Storek, Yuchong Xie, Seoyoung Kweon, Prashast Srivastava, Suman Jana
FOX: Coverage-guided Fuzzing as Online Stochastic Control. CoRR (2024)
Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
Neural Network Verification with Branch-and-Bound for General Nonlinearities. CoRR (2024)
Lichao Sun, Yue Huang, Haoran Wang, Siyuan Wu, Qihui Zhang, Chujie Gao, Yixin Huang, Wenhan Lyu, Yixuan Zhang, Xiner Li, Zhengliang Liu, Yixin Liu, Yijue Wang, Zhikun Zhang, Bhavya Kailkhura, Caiming Xiong, Chao Zhang, Chaowei Xiao, Chunyuan Li, Eric P. Xing, Furong Huang, Hao Liu, Heng Ji, Hongyi Wang, Huan Zhang, Huaxiu Yao, Manolis Kellis, Marinka Zitnik, Meng Jiang, Mohit Bansal, James Zou, Jian Pei, Jian Liu, Jianfeng Gao, Jiawei Han, Jieyu Zhao, Jiliang Tang, Jindong Wang, John Mitchell, Kai Shu, Kaidi Xu, Kai-Wei Chang, Lifang He, Lifu Huang, Michael Backes, Neil Zhenqiang Gong, Philip S. Yu, Pin-Yu Chen, Quanquan Gu, Ran Xu, Rex Ying, Shuiwang Ji, Suman Jana, Tianlong Chen, Tianming Liu, Tianyi Zhou, William Wang, Xiang Li, Xiangliang Zhang, Xiao Wang, Xing Xie, Xun Chen, Xuyu Wang, Yan Liu, Yanfang Ye, Yinzhi Cao, Yue Zhao
TrustLLM: Trustworthiness in Large Language Models. CoRR (2024)
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, Suman Jana
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Suyoung Lee, Wonho Song, Suman Jana, Meeyoung Cha, Sooel Son
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Ali Ahad, Gang Wang, Chung Hwan Kim, Suman Jana, Zhiqiang Lin, Yonghwi Kwon
FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation. ASPLOS (4) (2023)
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray
Learning Approximate Execution Semantics From Traces for Binary Function Similarity. IEEE Trans. Software Eng. 49 (4) (2023)
Suman Jana, Pabitra Kumar Biswas, Thanikanti Sudhakar Babu, Hassan Haes Alhelou
An Improved Parametric Method for Selecting Different Types of Tesla Transformer Primary Coil to Construct an Artificial Lightning Simulator. IEEE Access 11 (2023)
Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
Symmetry-Preserving Program Representations for Learning Code Semantics. CoRR (2023)
Chong Xiang, Tong Wu, Sihui Dai, Jonathan Petit, Suman Jana, Prateek Mittal
PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses. CoRR (2023)
Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain. CoRR (2023)
Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. SP (2023)
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
NeuDep: Neural Binary Memory Dependence Analysis. CoRR (2022)
Sunnyeo Park, Daejun Kim, Suman Jana, Sooel Son
FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities. USENIX Security Symposium (2022)
Dongdong She, Abhishek Shah, Suman Jana
Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis. CoRR (2022)
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
NeuDep: neural binary memory dependence analysis. ESEC/SIGSOFT FSE (2022)
Abhishek Shah, Dongdong She, Samanway Sadhu, Krish Singal, Peter Coffman, Suman Jana
MC2: Rigorous and Efficient Directed Greybox Fuzzing. CCS (2022)
Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
General Cutting Planes for Bound-Propagation-Based Neural Network Verification. CoRR (2022)
Huan Zhang, Shiqi Wang, Kaidi Xu, Yihan Wang, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks. ICML (2022)
Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
General Cutting Planes for Bound-Propagation-Based Neural Network Verification. NeurIPS (2022)
Abhishek Shah, Dongdong She, Samanway Sadhu, Krish Singal, Peter Coffman, Suman Jana
: Rigorous and Efficient Directed Greybox Fuzzing. CoRR (2022)
Dongdong She, Abhishek Shah, Suman Jana
Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis. IEEE Symposium on Security and Privacy (2022)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. OSDI (2021)
Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. ICLR (2021)
Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner
Learning Security Classifiers with Verified Global Robustness Properties. CoRR (2021)
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
Fine Grained Dataflow Tracking with Proximal Gradients. USENIX Security Symposium (2021)
Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana
Cost-Aware Robust Tree Ensembles for Security Applications. USENIX Security Symposium (2021)
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification. CoRR (2021)
Hyunjoo Lee, Jiyeon Lee, Daejun Kim, Suman Jana, Insik Shin, Sooel Son
AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads. USENIX Security Symposium (2021)
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
XDA: Accurate, Robust Disassembly with Transfer Learning. NDSS (2021)
Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, Suman Jana
StateFormer: fine-grained type recovery from binaries using generative state modeling. ESEC/SIGSOFT FSE (2021)
Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner
Learning Security Classifiers with Verified Global Robustness Properties. CCS (2021)
Suyoung Lee, Wonho Song, Suman Jana, Meeyoung Cha, Sooel Son
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks. CoRR (2021)
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification. NeurIPS (2021)
Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi, Mung Chiang, David Corman, Brian J. Henz, Suman Jana, Na Li, Shaoshuai Mou, Meeko Oishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. CoRR (2020)
Bai Li, Shiqi Wang, Suman Jana, Lawrence Carin
Towards Understanding Fast Adversarial Training. CoRR (2020)
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
XDA: Accurate, Robust Disassembly with Transfer Learning. CoRR (2020)
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel Hsu
Ensuring Fairness Beyond the Training Data. CoRR (2020)
Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, Baishakhi Ray
MTFuzz: fuzzing with a multi-task neural network. ESEC/SIGSOFT FSE (2020)
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
On Pruning Adversarially Robust Neural Networks. CoRR (2020)
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks. CoRR (2020)
Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. CoRR (2020)
Dongdong She, Yizheng Chen, Abhishek Shah, Baishakhi Ray, Suman Jana
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks. IEEE Symposium on Security and Privacy (2020)
Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, Baishakhi Ray
MTFuzz: Fuzzing with a Multi-Task Neural Network. CoRR (2020)
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Henry Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures. IEEE Open J. Comput. Soc. 1 (2020)
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
Learning nonlinear loop invariants with gated continuous logic networks. PLDI (2020)
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel J. Hsu
Ensuring Fairness Beyond the Training Data. NeurIPS (2020)
Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana
On Training Robust PDF Malware Classifiers. USENIX Security Symposium (2020)
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity. CoRR (2020)
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
CLN2INV: Learning Loop Invariants with Continuous Logic Networks. ICLR (2020)
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
HYDRA: Pruning Adversarially Robust Neural Networks. NeurIPS (2020)
Bai Li, Shiqi Wang, Yunhan Jia, Yantao Lu, Zhenyu Zhong, Lawrence Carin, Suman Jana
Towards Practical Lottery Ticket Hypothesis for Adversarial Training. CoRR (2020)
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana
NEUZZ: Efficient Fuzzing with Neural Program Smoothing. IEEE Symposium on Security and Privacy (2019)
Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang
Bringing Engineering Rigor to Deep Learning. ACM SIGOPS Oper. Syst. Rev. 53 (1) (2019)
Mathias Lécuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
Certified Robustness to Adversarial Examples with Differential Privacy. IEEE Symposium on Security and Privacy (2019)
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Hank Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures. CoRR (2019)
Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana
On Training Robust PDF Malware Classifiers. CoRR (2019)
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
DeepXplore: automated whitebox testing of deep learning systems. Commun. ACM 62 (11) (2019)
Dongdong She, Yizheng Chen, Baishakhi Ray, Suman Jana
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks. CoRR (2019)
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana
Enhancing Gradient-based Attacks with Symbolic Intervals. CoRR (2019)
Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana
Training Robust Tree Ensembles for Security. CoRR (2019)
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
Towards Compact and Robust Deep Neural Networks. CoRR (2019)
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
CLN2INV: Learning Loop Invariants with Continuous Logic Networks. CoRR (2019)
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
Fine Grained Dataflow Tracking with Proximal Gradients. CoRR (2019)
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
Formal Security Analysis of Neural Networks using Symbolic Intervals. USENIX Security Symposium (2018)
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
Efficient Formal Safety Analysis of Neural Networks. CoRR (2018)
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
DeepTest: automated testing of deep-neural-network-driven autonomous cars. ICSE (2018)
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
Formal Security Analysis of Neural Networks using Symbolic Intervals. CoRR (2018)
Mathias Lécuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
On the Connection between Differential Privacy and Adversarial Robustness in Machine Learning. CoRR (2018)
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana
MixTrain: Scalable Training of Formally Robust Neural Networks. CoRR (2018)
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
Efficient Formal Safety Analysis of Neural Networks. NeurIPS (2018)
Shankara Pailoor, Andrew Aday, Suman Jana
MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. USENIX Security Symposium (2018)
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana
NEUZZ: Efficient Fuzzing with Neural Program Learning. CoRR (2018)
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. GetMobile Mob. Comput. Commun. 22 (3) (2018)
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. SOSP (2017)
Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, Suman Jana
HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations. IEEE Symposium on Security and Privacy (2017)
Theofilos Petsios, Adrian Tang, Dimitris Mitropoulos, Salvatore J. Stolfo, Angelos D. Keromytis, Suman Jana
Tug-of-War: Observations on Unified Content Handling. CoRR (2017)
Theofilos Petsios, Adrian Tang, Salvatore J. Stolfo, Angelos D. Keromytis, Suman Jana
NEZHA: Efficient Domain-Independent Differential Testing. IEEE Symposium on Security and Privacy (2017)
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems. CoRR (2017)
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars. CoRR (2017)
Theofilos Petsios, Jason Zhao, Angelos D. Keromytis, Suman Jana
SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities. CCS (2017)
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. CoRR (2017)
Theofilos Petsios, Jason Zhao, Angelos D. Keromytis, Suman Jana
SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities. CoRR (2017)
George Argyros, Ioannis Stais, Suman Jana, Angelos D. Keromytis, Aggelos Kiayias
SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning. CCS (2016)
Suman Jana, Yuan Jochen Kang, Samuel Roth, Baishakhi Ray
Automatically Detecting Error Handling Bugs Using Error Specifications. USENIX Security Symposium (2016)
Yuan Jochen Kang, Baishakhi Ray, Suman Jana
APEx: automated inference of error specifications for C APIs. ASE (2016)
Henry Corrigan-Gibbs, Suman Jana
Recommendations for Randomness in the Operating System, or How to Keep Evil Children out of Your Pool and Other Random Facts. HotOS (2015)
Benjamin A. Braun, Suman Jana, Dan Boneh
Robust and Efficient Elimination of Cache and Timing Side Channels. CoRR (2015)
Richard McPherson, Suman Jana, Vitaly Shmatikov
No Escape From Reality: Security and Privacy of Augmented Reality Browsers. WWW (2015)
Martin Georgiev, Suman Jana, Vitaly Shmatikov
Rethinking Security of Web-Based System Applications. WWW (2015)
Suman Jana, Úlfar Erlingsson, Iulia Ion
Apples and Oranges: Detecting Least-Privilege Violators with Peer Group Analysis. CoRR (2015)
Martin Georgiev, Suman Jana, Vitaly Shmatikov
Breaking and Fixing Origin-Based Access Control in Hybrid Web/Mobile Application Frameworks. NDSS (2014)
Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. IEEE Symposium on Security and Privacy (2014)
David Silver, Suman Jana, Dan Boneh, Eric Yawei Chen, Collin Jackson
Password Managers: Attacks and Defenses. USENIX Security Symposium (2014)
Suman Jana, David Molnar, Alexander Moshchuk, Alan M. Dunn, Benjamin Livshits, Helen J. Wang, Eyal Ofek
Enabling Fine-Grained Permissions for Augmented Reality Applications with Recognizers. USENIX Security Symposium (2013)
Sriram Nandha Premnath, Suman Jana, Jessica Croft, Prarthana Lakshmane Gowda, Mike Clark, Sneha Kumar Kasera, Neal Patwari, Srikanth V. Krishnamurthy
Secret Key Extraction from Wireless Signal Strength in Real Environments. IEEE Trans. Mob. Comput. 12 (5) (2013)
Suman Jana, Arvind Narayanan, Vitaly Shmatikov
A Scanner Darkly: Protecting User Privacy from Perceptual Applications. IEEE Symposium on Security and Privacy (2013)
Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, T. Scott Saponas, Margus Veanes, Helen J. Wang
Operating System Support for Augmented Reality Applications. HotOS (2013)

Suman Jana.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Suman Jana