Suman Jana
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
45
Venues
17
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
45 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | XOXO: Stealthy Cross-Origin Context Poisoning Attacks against AI Coding Assistants. | Adam Storek, Mukur Gupta, Noopur Bhatt, Aditya Gupta, Janie Kim, Prashast Srivastava, Suman Jana |
| 2026 | ACL | Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code Understanding. | Adam Storek, Mukur Gupta, Samira Hajizadeh, Prashast Srivastava, Suman Jana |
| 2026 | SP | NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on ARM MTE. | Mingkai Li, Hang Ye, Joseph Devietti, Suman Jana, Tanvir Ahmed Khan |
| 2026 | SP | zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits. | Hideaki Takahashi, Jihwan Kim, Suman Jana, Junfeng Yang |
| 2025 | NAACL | CodeSCM: Causal Analysis for Multi-Modal Code Generation. | Mukur Gupta, Noopur Bhatt, Suman Jana |
| 2025 | TACAS | Neural Network Verification with Branch-and-Bound for General Nonlinearities. | Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang |
| 2024 | CCS | FOX: Coverage-guided Fuzzing as Online Stochastic Control. | Dongdong She, Adam Storek, Yuchong Xie, Seoyoung Kweon, Prashast Srivastava, Suman Jana |
| 2024 | ICLR | Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain. | Marcus J. Min, Yangruibo Ding, Luca Buratti, Saurabh Pujar, Gail E. Kaiser, Suman Jana, Baishakhi Ray |
| 2024 | ICML | Position: TrustLLM: Trustworthiness in Large Language Models. | 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 | ICML | Exploiting Code Symmetries for Learning Program Semantics. | Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana |
| 2023 | ASPLOS | FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation. | Ali Ahad, Gang Wang, Chung Hwan Kim, Suman Jana, Zhiqiang Lin, Yonghwi Kwon |
| 2023 | SP | Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. | Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana |
| 2022 | CCS | MC2: Rigorous and Efficient Directed Greybox Fuzzing. | Abhishek Shah, Dongdong She, Samanway Sadhu, Krish Singal, Peter Coffman, Suman Jana |
| 2022 | ICML | A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks. | Huan Zhang, Shiqi Wang, Kaidi Xu, Yihan Wang, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter |
| 2022 | SP | Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis. | Dongdong She, Abhishek Shah, Suman Jana |
| 2021 | CCS | Learning Security Classifiers with Verified Global Robustness Properties. | Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner |
| 2021 | ICLR | Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. | Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh |
| 2021 | NDSS | XDA: Accurate, Robust Disassembly with Transfer Learning. | Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana |
| 2021 | OSDI | DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan |
| 2020 | ICLR | CLN2INV: Learning Loop Invariants with Continuous Logic Networks. | Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana |
| 2020 | PLDI | Learning nonlinear loop invariants with gated continuous logic networks. | Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu |
| 2020 | SP | Neutaint: Efficient Dynamic Taint Analysis with Neural Networks. | Dongdong She, Yizheng Chen, Abhishek Shah, Baishakhi Ray, Suman Jana |
| 2019 | SP | Certified Robustness to Adversarial Examples with Differential Privacy. | Mathias Lcuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana |
| 2019 | SP | NEUZZ: Efficient Fuzzing with Neural Program Smoothing. | Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana |
| 2018 | ICSE | DeepTest: automated testing of deep-neural-network-driven autonomous cars. | Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray |
| 2017 | CCS | SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities. | Theofilos Petsios, Jason Zhao, Angelos D. Keromytis, Suman Jana |
| 2017 | SP | NEZHA: Efficient Domain-Independent Differential Testing. | Theofilos Petsios, Adrian Tang, Salvatore J. Stolfo, Angelos D. Keromytis, Suman Jana |
| 2017 | SP | HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations. | Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, Suman Jana |
| 2017 | SOSP | DeepXplore: Automated Whitebox Testing of Deep Learning Systems. | Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana |
| 2016 | CCS | SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning. | George Argyros, Ioannis Stais, Suman Jana, Angelos D. Keromytis, Aggelos Kiayias |
| 2015 | HotOS | Recommendations for Randomness in the Operating System, or How to Keep Evil Children out of Your Pool and Other Random Facts. | Henry Corrigan-Gibbs, Suman Jana |
| 2015 | WWW | Rethinking Security of Web-Based System Applications. | Martin Georgiev, Suman Jana, Vitaly Shmatikov |
| 2015 | WWW | No Escape From Reality: Security and Privacy of Augmented Reality Browsers. | Richard McPherson, Suman Jana, Vitaly Shmatikov |
| 2014 | NDSS | Breaking and Fixing Origin-Based Access Control in Hybrid Web/Mobile Application Frameworks. | Martin Georgiev, Suman Jana, Vitaly Shmatikov |
| 2014 | SP | Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. | Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov |
| 2013 | HotOS | Operating System Support for Augmented Reality Applications. | 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 | SP | A Scanner Darkly: Protecting User Privacy from Perceptual Applications. | Suman Jana, Arvind Narayanan, Vitaly Shmatikov |
| 2012 | CCS | The most dangerous code in the world: validating SSL certificates in non-browser software. | Martin Georgiev, Subodh Iyengar, Suman Jana, Rishita Anubhai, Dan Boneh, Vitaly Shmatikov |
| 2012 | LCN | Efficient construction of directed Redundant Steiner trees. | Yigal Bejerano, Suman Jana, Pramod V. Koppol |
| 2012 | OSDI | Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels. | Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, Emmett Witchel |
| 2012 | SP | Abusing File Processing in Malware Detectors for Fun and Profit. | Suman Jana, Vitaly Shmatikov |
| 2012 | SP | Memento: Learning Secrets from Process Footprints. | Suman Jana, Vitaly Shmatikov |
| 2011 | SP | TxBox: Building Secure, Efficient Sandboxes with System Transactions. | Suman Jana, Donald E. Porter, Vitaly Shmatikov |
| 2009 | MOBICOM | On the effectiveness of secret key extraction from wireless signal strength in real environments. | Suman Jana, Sriram Nandha Premnath, Mike Clark, Sneha Kumar Kasera, Neal Patwari, Srikanth V. Krishnamurthy |
| 2008 | MOBICOM | On fast and accurate detection of unauthorized wireless access points using clock skews. | Suman Jana, Sneha Kumar Kasera |