Suman Jana

130 papers A* 52A 2B 1Journal 67Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing.
CoRR
Mingkai Li, Joseph Devietti, Suman Jana, Tanvir Ahmed Khan
2026 J jnl
Characterizing Linear Alignment Across Language Models.
CoRR
Matt Gorbett, Suman Jana
2026 J jnl
Cross-Model Disagreement as a Label-Free Correctness Signal.
CoRR
Matt Gorbett, Suman Jana
2026 J jnl
Reliable and Responsible Foundation Models: A Comprehensive Survey.
CoRR
Xinyu Yang, Junlin Han, Rishi Bommasani, Jinqi Luo, Wenjie Qu, Wangchunshu Zhou, Adel Bibi, Xiyao Wang, Jaehong Yoon, Elias Stengel-Eskin, Shengbang Tong, Lingfeng Shen, Rafael Rafailov, Runjia Li, Zhaoyang Wang, Yiyang Zhou, Chenhang Cui, Yu Wang, Wenhao Zheng, Huichi Zhou, Jindong Gu, Zhaorun Chen, Peng Xia, Tony Lee, Thomas P. Zollo, Vikash Sehwag, Jixuan Leng, Jiuhai Chen, Yuxin Wen, Huan Zhang, Zhun Deng, Linjun Zhang, Pavel Izmailov, Pang Wei Koh, Yulia Tsvetkov, Andrew Wilson, Jiaheng Zhang, James Zou, Cihang Xie, Hao Wang, Philip Torr, Julian J. McAuley, David Alvarez-Melis, Florian Tramèr, Kaidi Xu, Suman Jana, Chris Callison-Burch, René Vidal, Filippos Kokkinos, Mohit Bansal, Beidi Chen, Huaxiu Yao
2025 — conf
CodeSCM: Causal Analysis for Multi-Modal Code Generation.
NAACL (Long Papers)
Mukur Gupta, Noopur Bhatt, Suman Jana
2025 J jnl
CodeSCM: Causal Analysis for Multi-Modal Code Generation.
CoRR
Mukur Gupta, Noopur Bhatt, Suman Jana
2025 J jnl
Learning Temporal Invariance in Android Malware Detectors.
CoRR
Xinran Zheng, Shuo Yang, Edith C. H. Ngai, Suman Jana, Lorenzo Cavallaro
2025 J jnl
NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on ARM MTE.
CoRR
Mingkai Li, Hang Ye, Joseph Devietti, Suman Jana, Tanvir Ahmed Khan
2025 — conf
Neural Network Verification with Branch-and-Bound for General Nonlinearities.
TACAS (1)
Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
2025 J jnl
Red Teaming Program Repair Agents: When Correct Patches can Hide Vulnerabilities.
CoRR
Simin Chen, Yixin He, Suman Jana, Baishakhi Ray
2025 J jnl
Reliable and Responsible Foundation Models.
Trans. Mach. Learn. Res.
Xinyu Yang, Junlin Han, Rishi Bommasani, Jinqi Luo, Wenjie Qu, Wangchunshu Zhou, Adel Bibi, Xiyao Wang, Jaehong Yoon, Elias Stengel-Eskin, Shengbang Tong, Lingfeng Shen, Rafael Rafailov, Runjia Li, Zhaoyang Wang, Yiyang Zhou, Chenhang Cui, Yu Wang, Wenhao Zheng, Huichi Zhou, Jindong Gu, Zhaorun Chen, Peng Xia, Tony Lee, Thomas P. Zollo, Vikash Sehwag, Jixuan Leng, Jiuhai Chen, Yuxin Wen, Huan Zhang, Zhun Deng, Linjun Zhang, Pavel Izmailov, Pang Wei Koh, Yulia Tsvetkov, Andrew Gordon Wilson, Jiaheng Zhang, James Zou, Cihang Xie, Hao Wang, Philip Torr, Julian J. McAuley, David Alvarez-Melis, Florian Tramèr, Kaidi Xu, Suman Jana, Chris Callison-Burch, René Vidal, Filippos Kokkinos, Mohit Bansal, Beidi Chen, Huaxiu Yao
2025 J jnl
Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code Reasoning.
CoRR
Adam Storek, Mukur Gupta, Samira Hajizadeh, Prashast Srivastava, Suman Jana
2025 J jnl
XOXO: Stealthy Cross-Origin Context Poisoning Attacks against AI Coding Assistants.
CoRR
Adam Storek, Mukur Gupta, Noopur Bhatt, Aditya Gupta, Janie Kim, Prashast Srivastava, Suman Jana
2025 J jnl
zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits.
CoRR
Hideaki Takahashi, Jihwan Kim, Suman Jana, Junfeng Yang
2024 J jnl
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning.
Proc. ACM Program. Lang.
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, Suman Jana
2024 A* conf
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain.
ICLR
Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray
2024 J jnl
Comment on Revisiting Neural Program Smoothing for Fuzzing.
CoRR
Dongdong She, Kexin Pei, Junfeng Yang, Baishakhi Ray, Suman Jana
2024 A* conf
Exploiting Code Symmetries for Learning Program Semantics.
ICML
Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
2024 A* conf
FOX: Coverage-guided Fuzzing as Online Stochastic Control.
CCS
Dongdong She, Adam Storek, Yuchong Xie, Seoyoung Kweon, Prashast Srivastava, Suman Jana
2024 — conf
FOX: Coverage-guided Fuzzing as Online Stochastic Control.
SBFT@ICSE
Dongdong She, Adam Storek, Yuchong Xie, Seoyoung Kweon, Prashast Srivastava, Suman Jana
2024 J jnl
FOX: Coverage-guided Fuzzing as Online Stochastic Control.
CoRR
Dongdong She, Adam Storek, Yuchong Xie, Seoyoung Kweon, Prashast Srivastava, Suman Jana
2024 J jnl
Neural Network Verification with Branch-and-Bound for General Nonlinearities.
CoRR
Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
2024 A* conf
PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses.
USENIX Security Symposium
Chong Xiang, Tong Wu, Sihui Dai, Jonathan Petit, Suman Jana, Prateek Mittal
2024 A* conf
Position: TrustLLM: Trustworthiness in Large Language Models.
ICML
Yue Huang, Lichao Sun, Haoran Wang, Siyuan Wu, Qihui Zhang, Yuan Li, Chujie Gao, Yixin Huang, Wenhan Lyu, Yixuan Zhang, Xiner Li, Hanchi Sun, Zhengliang Liu, Yixin Liu, Yijue Wang, Zhikun Zhang, Bertie Vidgen, Bhavya Kailkhura, Caiming Xiong, 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, Joaquin Vanschoren, John C. 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, Yong Chen, Yue Zhao
2024 J jnl
TrustLLM: Trustworthiness in Large Language Models.
CoRR
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, 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 C. 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
2023 J jnl
An Improved Parametric Method for Selecting Different Types of Tesla Transformer Primary Coil to Construct an Artificial Lightning Simulator.
IEEE Access
Suman Jana, Pabitra Kumar Biswas, Thanikanti Sudhakar Babu, Hassan Haes Alhelou
2023 J jnl
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain.
CoRR
Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray
2023 J jnl
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks.
IEEE Trans. Dependable Secur. Comput.
Suyoung Lee, Wonho Song, Suman Jana, Meeyoung Cha, Sooel Son
2023 — conf
FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation.
ASPLOS (4)
Ali Ahad, Gang Wang, Chung Hwan Kim, Suman Jana, Zhiqiang Lin, Yonghwi Kwon
2023 J jnl
Learning Approximate Execution Semantics From Traces for Binary Function Similarity.
IEEE Trans. Software Eng.
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray
2023 J jnl
PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses.
CoRR
Chong Xiang, Tong Wu, Sihui Dai, Jonathan Petit, Suman Jana, Prateek Mittal
2023 A* conf
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.
SP
Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana
2023 J jnl
Symmetry-Preserving Program Representations for Learning Code Semantics.
CoRR
Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
2022 A* conf
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks.
ICML
Huan Zhang, Shiqi Wang, Kaidi Xu, Yihan Wang, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2022 A* conf
Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis.
SP
Dongdong She, Abhishek Shah, Suman Jana
2022 J jnl
Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis.
CoRR
Dongdong She, Abhishek Shah, Suman Jana
2022 A* conf
FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities.
USENIX Security Symposium
Sunnyeo Park, Daejun Kim, Suman Jana, Sooel Son
2022 A* conf
General Cutting Planes for Bound-Propagation-Based Neural Network Verification.
NeurIPS
Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2022 J jnl
General Cutting Planes for Bound-Propagation-Based Neural Network Verification.
CoRR
Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2022 J jnl
MC
CoRR
Abhishek Shah, Dongdong She, Samanway Sadhu, Krish Singal, Peter Coffman, Suman Jana
2022 A* conf
MC2: Rigorous and Efficient Directed Greybox Fuzzing.
CCS
Abhishek Shah, Dongdong She, Samanway Sadhu, Krish Singal, Peter Coffman, Suman Jana
2022 J jnl
NeuDep: Neural Binary Memory Dependence Analysis.
CoRR
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
2022 — conf
NeuDep: neural binary memory dependence analysis.
ESEC/SIGSOFT FSE
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
2021 A* conf
AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads.
USENIX Security Symposium
Hyunjoo Lee, Jiyeon Lee, Daejun Kim, Suman Jana, Insik Shin, Sooel Son
2021 J jnl
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification.
CoRR
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2021 A* conf
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification.
NeurIPS
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2021 A* conf
Cost-Aware Robust Tree Ensembles for Security Applications.
USENIX Security Symposium
Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana
2021 A* conf
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.
OSDI
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
2021 J jnl
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks.
CoRR
Suyoung Lee, Wonho Song, Suman Jana, Meeyoung Cha, Sooel Son
2021 A* conf
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.
ICLR
Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh
2021 A* conf
Fine Grained Dataflow Tracking with Proximal Gradients.
USENIX Security Symposium
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
2021 A* conf
Learning Security Classifiers with Verified Global Robustness Properties.
CCS
Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner
2021 J jnl
Learning Security Classifiers with Verified Global Robustness Properties.
CoRR
Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner
2021 — conf
StateFormer: fine-grained type recovery from binaries using generative state modeling.
ESEC/SIGSOFT FSE
Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, Suman Jana
2021 A* conf
XDA: Accurate, Robust Disassembly with Transfer Learning.
NDSS
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2020 A* conf
CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
ICLR
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
2020 A* conf
Ensuring Fairness Beyond the Training Data.
NeurIPS
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel J. Hsu
2020 J jnl
Ensuring Fairness Beyond the Training Data.
CoRR
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel Hsu
2020 J jnl
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.
CoRR
Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh
2020 A* conf
HYDRA: Pruning Adversarially Robust Neural Networks.
NeurIPS
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
2020 J jnl
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks.
CoRR
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
2020 A* conf
Learning nonlinear loop invariants with gated continuous logic networks.
PLDI
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
2020 J jnl
MTFuzz: Fuzzing with a Multi-Task Neural Network.
CoRR
Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, Baishakhi Ray
2020 — conf
MTFuzz: fuzzing with a multi-task neural network.
ESEC/SIGSOFT FSE
Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, Baishakhi Ray
2020 A* conf
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks.
SP
Dongdong She, Yizheng Chen, Abhishek Shah, Baishakhi Ray, Suman Jana
2020 J jnl
On Pruning Adversarially Robust Neural Networks.
CoRR
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
2020 A* conf
On Training Robust PDF Malware Classifiers.
USENIX Security Symposium
Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana
2020 J jnl
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap.
CoRR
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
2020 J jnl
Towards Practical Lottery Ticket Hypothesis for Adversarial Training.
CoRR
Bai Li, Shiqi Wang, Yunhan Jia, Yantao Lu, Zhenyu Zhong, Lawrence Carin, Suman Jana
2020 J jnl
Towards Understanding Fast Adversarial Training.
CoRR
Bai Li, Shiqi Wang, Suman Jana, Lawrence Carin
2020 J jnl
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity.
CoRR
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray
2020 J jnl
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures.
IEEE Open J. Comput. Soc.
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
2020 J jnl
XDA: Accurate, Robust Disassembly with Transfer Learning.
CoRR
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2019 J jnl
Bringing Engineering Rigor to Deep Learning.
ACM SIGOPS Oper. Syst. Rev.
Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang
2019 J jnl
CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
CoRR
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
2019 A* conf
Certified Robustness to Adversarial Examples with Differential Privacy.
IEEE Symposium on Security and Privacy
Mathias Lécuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
2019 J jnl
DeepXplore: automated whitebox testing of deep learning systems.
Commun. ACM
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2019 J jnl
Enhancing Gradient-based Attacks with Symbolic Intervals.
CoRR
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana
2019 J jnl
Fine Grained Dataflow Tracking with Proximal Gradients.
CoRR
Gabriel Ryan, Abhishek Shah, Dongdong She, Koustubha Bhat, Suman Jana
2019 J jnl
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures.
CoRR
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
2019 A* conf
NEUZZ: Efficient Fuzzing with Neural Program Smoothing.
IEEE Symposium on Security and Privacy
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana
2019 J jnl
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks.
CoRR
Dongdong She, Yizheng Chen, Baishakhi Ray, Suman Jana
2019 J jnl
On Training Robust PDF Malware Classifiers.
CoRR
Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana
2019 J jnl
Towards Compact and Robust Deep Neural Networks.
CoRR
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
2019 J jnl
Training Robust Tree Ensembles for Security.
CoRR
Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana
2018 A* conf
DeepTest: automated testing of deep-neural-network-driven autonomous cars.
ICSE
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
2018 J jnl
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
GetMobile Mob. Comput. Commun.
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2018 A* conf
Efficient Formal Safety Analysis of Neural Networks.
NeurIPS
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 J jnl
Efficient Formal Safety Analysis of Neural Networks.
CoRR
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 A* conf
Formal Security Analysis of Neural Networks using Symbolic Intervals.
USENIX Security Symposium
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 J jnl
Formal Security Analysis of Neural Networks using Symbolic Intervals.
CoRR
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 J jnl
MixTrain: Scalable Training of Formally Robust Neural Networks.
CoRR
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana
2018 A* conf
MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation.
USENIX Security Symposium
Shankara Pailoor, Andrew Aday, Suman Jana
2018 J jnl
NEUZZ: Efficient Fuzzing with Neural Program Learning.
CoRR
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana
2018 J jnl
On the Connection between Differential Privacy and Adversarial Robustness in Machine Learning.
CoRR
Mathias Lécuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
2017 J jnl
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars.
CoRR
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
2017 A* conf
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
SOSP
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2017 J jnl
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
CoRR
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2017 A* conf
HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations.
IEEE Symposium on Security and Privacy
Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, Suman Jana
2017 A* conf
NEZHA: Efficient Domain-Independent Differential Testing.
IEEE Symposium on Security and Privacy
Theofilos Petsios, Adrian Tang, Salvatore J. Stolfo, Angelos D. Keromytis, Suman Jana
2017 A* conf
SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities.
CCS
Theofilos Petsios, Jason Zhao, Angelos D. Keromytis, Suman Jana
2017 J jnl
SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities.
CoRR
Theofilos Petsios, Jason Zhao, Angelos D. Keromytis, Suman Jana
2017 J jnl
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems.
CoRR
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2017 J jnl
Tug-of-War: Observations on Unified Content Handling.
CoRR
Theofilos Petsios, Adrian Tang, Dimitris Mitropoulos, Salvatore J. Stolfo, Angelos D. Keromytis, Suman Jana
2016 A* conf
APEx: automated inference of error specifications for C APIs.
ASE
Yuan Jochen Kang, Baishakhi Ray, Suman Jana
2016 A* conf
Automatically Detecting Error Handling Bugs Using Error Specifications.
USENIX Security Symposium
Suman Jana, Yuan Jochen Kang, Samuel Roth, Baishakhi Ray
2016 A* conf
SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning.
CCS
George Argyros, Ioannis Stais, Suman Jana, Angelos D. Keromytis, Aggelos Kiayias
2015 J jnl
Apples and Oranges: Detecting Least-Privilege Violators with Peer Group Analysis.
CoRR
Suman Jana, Úlfar Erlingsson, Iulia Ion
2015 A* conf
No Escape From Reality: Security and Privacy of Augmented Reality Browsers.
WWW
Richard McPherson, Suman Jana, Vitaly Shmatikov
2015 A conf
Recommendations for Randomness in the Operating System, or How to Keep Evil Children out of Your Pool and Other Random Facts.
HotOS
Henry Corrigan-Gibbs, Suman Jana
2015 A* conf
Rethinking Security of Web-Based System Applications.
WWW
Martin Georgiev, Suman Jana, Vitaly Shmatikov
2015 J jnl
Robust and Efficient Elimination of Cache and Timing Side Channels.
CoRR
Benjamin A. Braun, Suman Jana, Dan Boneh
2014 A* conf
Breaking and Fixing Origin-Based Access Control in Hybrid Web/Mobile Application Frameworks.
NDSS
Martin Georgiev, Suman Jana, Vitaly Shmatikov
2014 A* conf
Password Managers: Attacks and Defenses.
USENIX Security Symposium
David Silver, Suman Jana, Dan Boneh, Eric Yawei Chen, Collin Jackson
2014 A* conf
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations.
IEEE Symposium on Security and Privacy
Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov
2013 A* conf
A Scanner Darkly: Protecting User Privacy from Perceptual Applications.
IEEE Symposium on Security and Privacy
Suman Jana, Arvind Narayanan, Vitaly Shmatikov
2013 A* conf
Enabling Fine-Grained Permissions for Augmented Reality Applications with Recognizers.
USENIX Security Symposium
Suman Jana, David Molnar, Alexander Moshchuk, Alan M. Dunn, Benjamin Livshits, Helen J. Wang, Eyal Ofek
2013 A conf
Operating System Support for Augmented Reality Applications.
HotOS
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
2013 J jnl
Secret Key Extraction from Wireless Signal Strength in Real Environments.
IEEE Trans. Mob. Comput.
Sriram Nandha Premnath, Suman Jana, Jessica Croft, Prarthana Lakshmane Gowda, Mike Clark, Sneha Kumar Kasera, Neal Patwari, Srikanth V. Krishnamurthy
2012 A* conf
Abusing File Processing in Malware Detectors for Fun and Profit.
IEEE Symposium on Security and Privacy
Suman Jana, Vitaly Shmatikov
2012 B conf
Efficient construction of directed Redundant Steiner trees.
LCN
Yigal Bejerano, Suman Jana, Pramod V. Koppol
2012 A* conf
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels.
OSDI
Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, Emmett Witchel
2012 A* conf
Memento: Learning Secrets from Process Footprints.
IEEE Symposium on Security and Privacy
Suman Jana, Vitaly Shmatikov
2012 A* conf
The most dangerous code in the world: validating SSL certificates in non-browser software.
CCS
Martin Georgiev, Subodh Iyengar, Suman Jana, Rishita Anubhai, Dan Boneh, Vitaly Shmatikov
2011 — conf
EVE: Verifying Correct Execution of Cloud-Hosted Web Applications.
HotCloud
Suman Jana, Vitaly Shmatikov
2011 A* conf
TxBox: Building Secure, Efficient Sandboxes with System Transactions.
IEEE Symposium on Security and Privacy
Suman Jana, Donald E. Porter, Vitaly Shmatikov
2010 J jnl
High-Rate Uncorrelated Bit Extraction for Shared Secret Key Generation from Channel Measurements.
IEEE Trans. Mob. Comput.
Neal Patwari, Jessica Croft, Suman Jana, Sneha Kumar Kasera
2010 J jnl
On Fast and Accurate Detection of Unauthorized Wireless Access Points Using Clock Skews.
IEEE Trans. Mob. Comput.
Suman Jana, Sneha Kumar Kasera
2009 A* conf
On the effectiveness of secret key extraction from wireless signal strength in real environments.
MobiCom
Suman Jana, Sriram Nandha Premnath, Mike Clark, Sneha Kumar Kasera, Neal Patwari, Srikanth V. Krishnamurthy
2008 A* conf
On fast and accurate detection of unauthorized wireless access points using clock skews.
MobiCom
Suman Jana, Sneha Kumar Kasera