Somesh Jha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
139
Venues
49
Active years
1993–2026
Best venue rank
A*
Where they publish
- A*CCS18 papers
- A*SP18 papers
- A*ICML12 papers
- A*ICLR11 papers
- A*CAV9 papers
- AACSAC6 papers
- A*ICSE6 papers
- A*NDSS4 papers
- A*SIGMOD4 papers
- ARAID4 papers
- A*POPL3 papers
- AESORICS3 papers
- ATACAS3 papers
- A*ACL2 papers
- A*INFOCOM2 papers
- AAISTATS1 paper
- AWACV1 paper
- A*EMNLP1 paper
- AAsiaCCS1 paper
- BALT1 paper
- BACNS1 paper
- CISoLA1 paper
- AUSENIX1 paper
- CSecureComm1 paper
- BCSL1 paper
- ADATE1 paper
- BFMCAD1 paper
- A*DAC1 paper
- A*PLDI1 paper
- ACADE1 paper
- AFC1 paper
- AESOP1 paper
- BFM1 paper
- A*ASPLOS1 paper
- NationalICISS1 paper
- A*SIGCOMM1 paper
- AHotOS1 paper
- AFAST1 paper
- AISSTA1 paper
- CSEKE1 paper
- BSAS1 paper
- BFOSSACS1 paper
- A*LICS1 paper
- AICCAD1 paper
- ADSN1 paper
- NationalPDPTA1 paper
- CICCD1 paper
- A*FOCS1 paper
- BCONCUR1 paper
Papers
139 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification. | Tianyang Zhou, Ziyi Zhang, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran |
| 2026 | NDSS | Prεεmpt: Sanitizing Sensitive Prompts for LLMs. | Amrita Roy Chowdhury, David Glukhov, Divyam Anshumaan, Prasad Chalasani, Nicolas Papernot, Somesh Jha, Mihir Bellare |
| 2025 | AISTATS | On the Difficulty of Constructing a Robust and Publicly-Detectable Watermark. | Jaiden Fairoze, Guillermo Ortiz-Jimnez, Mel Vecerk, Somesh Jha, Sven Gowal |
| 2025 | CCS | Secure Noise Sampling for Differentially Private Collaborative Learning. | Olive Franzese, Congyu Fang, Radhika Garg, Xiao Wang, Somesh Jha, Nicolas Papernot, Adam Dziedzic |
| 2025 | ICLR | CONDA: Adaptive Concept Bottleneck for Foundation Models Under Distribution Shifts. | Jihye Choi, Jayaram Raghuram, Yixuan Li, Somesh Jha |
| 2025 | ICLR | AutoDAN-Turbo: A Lifelong Agent for Strategy Self-Exploration to Jailbreak LLMs. | Xiaogeng Liu, Peiran Li, G. Edward Suh, Yevgeniy Vorobeychik, Zhuoqing Mao, Somesh Jha, Patrick McDaniel, Huan Sun, Bo Li, Chaowei Xiao |
| 2025 | ICLR | Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks. | Zi Wang, Divyam Anshumaan, Ashish Hooda, Yudong Chen, Somesh Jha |
| 2025 | ICLR | Can Watermarks be Used to Detect LLM IP Infringement For Free? | Zhengyue Zhao, Xiaogeng Liu, Somesh Jha, Patrick McDaniel, Bo Li, Chaowei Xiao |
| 2025 | ICML | Validating Mechanistic Interpretations: An Axiomatic Approach. | Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha |
| 2025 | SP | SoK: Watermarking for AI-Generated Content. | Xuandong Zhao, Sam Gunn, Miranda Christ, Jaiden Fairoze, Andrs Fbrega, Nicholas Carlini, Sanjam Garg, Sanghyun Hong, Milad Nasr, Florian Tramr, Somesh Jha, Lei Li, Yu-Xiang Wang, Dawn Song |
| 2024 | ACL | PRP: Propagating Universal Perturbations to Attack Large Language Model Guard-Rails. | Neal Mangaokar, Ashish Hooda, Jihye Choi, Shreyas Chandrashekaran, Kassem Fawaz, Somesh Jha, Atul Prakash |
| 2024 | ICLR | On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks. | Zi Wang, Bin Hu, Aaron J. Havens, Alexandre Araujo, Yang Zheng, Yudong Chen, Somesh Jha |
| 2024 | ICML | Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates. | Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha |
| 2024 | ICML | Two Heads are Actually Better than One: Towards Better Adversarial Robustness via Transduction and Rejection. | Nils Palumbo, Yang Guo, Xi Wu, Jiefeng Chen, Yingyu Liang, Somesh Jha |
| 2024 | WACV | D4: Detection of Adversarial Diffusion Deepfakes Using Disjoint Ensembles. | Ashish Hooda, Neal Mangaokar, Ryan Feng, Kassem Fawaz, Somesh Jha, Atul Prakash |
| 2023 | ACSAC | Differentially Private Resource Allocation. | Joann Qiongna Chen, Tianhao Wang, Zhikun Zhang, Yang Zhang, Somesh Jha, Zhou Li |
| 2023 | CCS | Stateful Defenses for Machine Learning Models Are Not Yet Secure Against Black-box Attacks. | Ryan Feng, Ashish Hooda, Neal Mangaokar, Kassem Fawaz, Somesh Jha, Atul Prakash |
| 2023 | CCS | Experimenting with Zero-Knowledge Proofs of Training. | Sanjam Garg, Aarushi Goel, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Guru-Vamsi Policharla, Mingyuan Wang |
| 2023 | EMNLP | Adaptation with Self-Evaluation to Improve Selective Prediction in LLMs. | Jiefeng Chen, Jinsung Yoon, Sayna Ebrahimi, Sercan . Arik, Tomas Pfister, Somesh Jha |
| 2023 | ICLR | Few-Shot Domain Adaptation For End-to-End Communication. | Jayaram Raghuram, Yijing Zeng, Dolores Garca, Rafael Ruiz, Somesh Jha, Joerg Widmer, Suman Banerjee |
| 2023 | ICLR | The Trade-off between Universality and Label Efficiency of Representations from Contrastive Learning. | Zhenmei Shi, Jiefeng Chen, Kunyang Li, Jayaram Raghuram, Xi Wu, Yingyu Liang, Somesh Jha |
| 2023 | ICML | Stratified Adversarial Robustness with Rejection. | Jiefeng Chen, Jayaram Raghuram, Jihye Choi, Xi Wu, Yingyu Liang, Somesh Jha |
| 2023 | ICML | Concept-based Explanations for Out-of-Distribution Detectors. | Jihye Choi, Jayaram Raghuram, Ryan Feng, Jiefeng Chen, Somesh Jha, Atul Prakash |
| 2023 | SP | ShadowNet: A Secure and Efficient On-device Model Inference System for Convolutional Neural Networks. | Zhichuang Sun, Ruimin Sun, Changming Liu, Amrita Roy Chowdhury, Long Lu, Somesh Jha |
| 2022 | CCS | Strengthening Order Preserving Encryption with Differential Privacy. | Amrita Roy Chowdhury, Bolin Ding, Somesh Jha, Weiran Liu, Jingren Zhou |
| 2022 | CCS | EIFFeL: Ensuring Integrity for Federated Learning. | Amrita Roy Chowdhury, Chuan Guo, Somesh Jha, Laurens van der Maaten |
| 2022 | CCS | Federated Boosted Decision Trees with Differential Privacy. | Samuel Maddock, Graham Cormode, Tianhao Wang, Carsten Maple, Somesh Jha |
| 2022 | ICLR | Towards Evaluating the Robustness of Neural Networks Learned by Transduction. | Jiefeng Chen, Xi Wu, Yang Guo, Yingyu Liang, Somesh Jha |
| 2022 | ICLR | Privacy Implications of Shuffling. | Casey Meehan, Amrita Roy Chowdhury, Kamalika Chaudhuri, Somesh Jha |
| 2021 | AsiaCCS | Trustworthy Machine Learning: Past, Present, and Future. | Somesh Jha |
| 2021 | CCS | Continuous Release of Data Streams under both Centralized and Local Differential Privacy. | Tianhao Wang, Joann Qiongna Chen, Zhikun Zhang, Dong Su, Yueqiang Cheng, Zhou Li, Ninghui Li, Somesh Jha |
| 2021 | ICLR | CaPC Learning: Confidential and Private Collaborative Learning. | Christopher A. Choquette-Choo, Natalie Dullerud, Adam Dziedzic, Yunxiang Zhang, Somesh Jha, Nicolas Papernot, Xiao Wang |
| 2021 | ICML | Sample Complexity of Robust Linear Classification on Separated Data. | Robi Bhattacharjee, Somesh Jha, Kamalika Chaudhuri |
| 2021 | ICML | A General Framework For Detecting Anomalous Inputs to DNN Classifiers. | Jayaram Raghuram, Varun Chandrasekaran, Somesh Jha, Suman Banerjee |
| 2021 | SP | Is Private Learning Possible with Instance Encoding? | Nicholas Carlini, Samuel Deng, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Abhradeep Thakurta, Florian Tramr |
| 2020 | ALT | Adversarially Robust Learning Could Leverage Computational Hardness. | Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody |
| 2020 | ICLR | On the Need for Topology-Aware Generative Models for Manifold-Based Defenses. | Uyeong Jang, Susmit Jha, Somesh Jha |
| 2020 | ICML | Data-Dependent Differentially Private Parameter Learning for Directed Graphical Models. | Amrita Roy Chowdhury, Theodoros Rekatsinas, Somesh Jha |
| 2020 | ICML | CAUSE: Learning Granger Causality from Event Sequences using Attribution Methods. | Wei Zhang, Thomas Kobber Panum, Somesh Jha, Prasad Chalasani, David Page |
| 2020 | ICML | Concise Explanations of Neural Networks using Adversarial Training. | Prasad Chalasani, Jiefeng Chen, Amrita Roy Chowdhury, Xi Wu, Somesh Jha |
| 2020 | SIGMOD | Crypt?: Crypto-Assisted Differential Privacy on Untrusted Servers. | Amrita Roy Chowdhury, Chenghong Wang, Xi He, Ashwin Machanavajjhala, Somesh Jha |
| 2020 | SP | OAT: Attesting Operation Integrity of Embedded Devices. | Zhichuang Sun, Bo Feng, Long Lu, Somesh Jha |
| 2020 | SP | Towards Effective Differential Privacy Communication for Users' Data Sharing Decision and Comprehension. | Aiping Xiong, Tianhao Wang, Ninghui Li, Somesh Jha |
| 2019 | SIGMOD | Answering Multi-Dimensional Analytical Queries under Local Differential Privacy. | Tianhao Wang, Bolin Ding, Jingren Zhou, Cheng Hong, Zhicong Huang, Ninghui Li, Somesh Jha |
| 2018 | ACNS | Privacy-Preserving Ridge Regression with only Linearly-Homomorphic Encryption. | Irene Giacomelli, Somesh Jha, Marc Joye, C. David Page, Kyonghwan Yoon |
| 2018 | CAV | Semantic Adversarial Deep Learning. | Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia |
| 2018 | ICML | Reinforcing Adversarial Robustness using Model Confidence Induced by Adversarial Training. | Xi Wu, Uyeong Jang, Jiefeng Chen, Lingjiao Chen, Somesh Jha |
| 2018 | ICML | Analyzing the Robustness of Nearest Neighbors to Adversarial Examples. | Yizhen Wang, Somesh Jha, Kamalika Chaudhuri |
| 2018 | ISoLA | Smart Contracts and Opportunities for Formal Methods. | Andrew Miller, Zhicheng Cai, Somesh Jha |
| 2018 | NDSS | MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation. | Yonghwi Kwon, Fei Wang, Weihang Wang, Kyu Hyung Lee, Wen-Chuan Lee, Shiqing Ma, Xiangyu Zhang, Dongyan Xu, Somesh Jha, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran |
| 2018 | SIGMOD | Privacy at Scale: Local Differential Privacy in Practice. | Graham Cormode, Somesh Jha, Tejas Kulkarni, Ninghui Li, Divesh Srivastava, Tianhao Wang |
| 2018 | SP | Locally Differentially Private Frequent Itemset Mining. | Tianhao Wang, Ninghui Li, Somesh Jha |
| 2018 | USENIX | Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. | Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha |
| 2017 | ACSAC | Objective Metrics and Gradient Descent Algorithms for Adversarial Examples in Machine Learning. | Uyeong Jang, Xi Wu, Somesh Jha |
| 2017 | CCS | Secure Integration of Web Content and Applications on Commodity Mobile Operating Systems. | Drew Davidson, Yaohui Chen, Franklin George, Long Lu, Somesh Jha |
| 2017 | CCS | Practical Black-Box Attacks against Machine Learning. | Nicolas Papernot, Patrick D. McDaniel, Ian J. Goodfellow, Somesh Jha, Z. Berkay Celik, Ananthram Swami |
| 2017 | CCS | New Directions for Container Debloating. | Vaibhav Rastogi, Chaitra Niddodi, Sibin Mohan, Somesh Jha |
| 2017 | INFOCOM | Botnet protocol inference in the presence of encrypted traffic. | Lorenzo De Carli, Ruben Torres, Gaspar Modelo-Howard, Alok Tongaonkar, Somesh Jha |
| 2017 | SIGMOD | Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics. | Xi Wu, Fengan Li, Arun Kumar, Kamalika Chaudhuri, Somesh Jha, Jeffrey F. Naughton |
| 2017 | SecureComm | Enhancing Android Security Through App Splitting. | Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha |
| 2016 | POPL | Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis. | Damien Octeau, Somesh Jha, Matthew L. Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon |
| 2016 | SP | Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks. | Nicolas Papernot, Patrick D. McDaniel, Xi Wu, Somesh Jha, Ananthram Swami |
| 2015 | CCS | Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures. | Matt Fredrikson, Somesh Jha, Thomas Ristenpart |
| 2015 | ICSE | Composite Constant Propagation: Application to Android Inter-Component Communication Analysis. | Damien Octeau, Daniel Luchaup, Matthew L. Dering, Somesh Jha, Patrick D. McDaniel |
| 2014 | CCS | Beyond Pattern Matching: A Concurrency Model for Stateful Deep Packet Inspection. | Lorenzo De Carli, Robin Sommer, Somesh Jha |
| 2014 | CCS | Formatted Encryption Beyond Regular Languages. | Daniel Luchaup, Thomas Shrimpton, Thomas Ristenpart, Somesh Jha |
| 2014 | CSL | Satisfiability modulo counting: a new approach for analyzing privacy properties. | Matthew Fredrikson, Somesh Jha |
| 2014 | INFOCOM | Deep packet inspection with DFA-trees and parametrized language overapproximation. | Daniel Luchaup, Lorenzo De Carli, Somesh Jha, Eric Bach |
| 2013 | CAV | Validating Library Usage Interactively. | William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha |
| 2013 | DATE | Security challenges in automotive hardware/software architecture design. | Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty |
| 2013 | FMCAD | Secure programs via game-based synthesis. | Somesh Jha, Thomas W. Reps, William R. Harris |
| 2013 | SP | Declarative, Temporal, and Practical Programming with Capabilities. | William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson |
| 2012 | CAV | Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. | Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Sadi, Vinod Yegneswaran |
| 2012 | CAV | Secure Programming via Visibly Pushdown Safety Games. | William R. Harris, Somesh Jha, Thomas W. Reps |
| 2012 | DAC | CrowdMine: towards crowdsourced human-assisted verification. | Wenchao Li, Sanjit A. Seshia, Somesh Jha |
| 2012 | PLDI | Static analysis and compiler design for idempotent processing. | Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha |
| 2011 | CADE | Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. | Matthew Fredrikson, Mihai Christodorescu, Somesh Jha |
| 2011 | FC | Towards Secure Bioinformatics Services (Short Paper). | Martin Franz, Bjrn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schrder |
| 2010 | CAV | Retrofitting Legacy Code for Security. | Somesh Jha |
| 2010 | CCS | DIFC programs by automatic instrumentation. | William R. Harris, Somesh Jha, Thomas W. Reps |
| 2010 | ESOP | Automating Security Mediation Placement. | Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
| 2010 | SP | Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. | Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan |
| 2009 | ESORICS | Protocol Normalization Using Attribute Grammars. | Drew Davidson, Randy Smith, Nic Doyle, Somesh Jha |
| 2009 | FM | Verifying Information Flow Control over Unbounded Processes. | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
| 2009 | RAID | Multi-byte Regular Expression Matching with Speculation. | Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha |
| 2008 | ASPLOS | The design and implementation of microdrivers. | Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha |
| 2008 | ICISS | Fast Signature Matching Using Extended Finite Automaton (XFA). | Randy Smith, Cristian Estan, Somesh Jha, Ida Sri Rejeki Siahaan |
| 2008 | RAID | A Layered Architecture for Detecting Malicious Behaviors. | Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell |
| 2008 | SIGCOMM | Deflating the big bang: fast and scalable deep packet inspection with extended finite automata. | Randy Smith, Cristian Estan, Somesh Jha, Shijin Kong |
| 2008 | SP | Towards Practical Privacy for Genomic Computation. | Somesh Jha, Louis Kruger, Vitaly Shmatikov |
| 2008 | SP | XFA: Faster Signature Matching with Extended Automata. | Randy Smith, Cristian Estan, Somesh Jha |
| 2007 | ACSAC | OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. | Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha |
| 2007 | HotOS | Microdrivers: A New Architecture for Device Drivers. | Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha |
| 2007 | ICSE | Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis. | Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha |
| 2007 | POPL | A semantics-based approach to malware detection. | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
| 2007 | SP | Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. | Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney |
| 2006 | ACSAC | Backtracking Algorithmic Complexity Attacks against a NIDS. | Randy Smith, Cristian Estan, Somesh Jha |
| 2006 | ACSAC | NetSpy: Automatic Generation of Spyware Signatures for NIDS. | Hao Wang, Somesh Jha, Vinod Ganapathy |
| 2006 | CCS | Secure function evaluation with ordered binary decision diagrams. | Louis Kruger, Somesh Jha, Eu-Jin Goh, Dan Boneh |
| 2006 | CCS | Protomatching network traffic for high throughputnetwork intrusion detection. | Shai Rubin, Somesh Jha, Barton P. Miller |
| 2006 | ESORICS | Reducing the Dependence of SPKI/SDSI on PKI. | Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine |
| 2006 | RAID | Automated Discovery of Mimicry Attacks. | Jonathon T. Giffin, Somesh Jha, Barton P. Miller |
| 2006 | SP | Towards Automatic Generation of Vulnerability-Based Signatures. | David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha |
| 2006 | SP | Retrofitting Legacy Code for Authorization Policy Enforcement. | Vinod Ganapathy, Trent Jaeger, Somesh Jha |
| 2006 | TACAS | Weighted Pushdown Systems and Trust-Management Systems. | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps |
| 2005 | CCS | Automatic placement of authorization hooks in the linux security modules framework. | Vinod Ganapathy, Trent Jaeger, Somesh Jha |
| 2005 | ESORICS | Privacy Preserving Clustering. | Somesh Jha, Louis Kruger, Patrick D. McDaniel |
| 2005 | FAST | A Logic of File Systems. | Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha |
| 2005 | ICSE | Automatic discovery of API-level exploits. | Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant |
| 2005 | RAID | Environment-Sensitive Intrusion Detection. | Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, Barton P. Miller |
| 2005 | SP | Semantics-Aware Malware Detection. | Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant |
| 2005 | SP | Language-Based Generation and Evaluation of NIDS Signatures. | Shai Rubin, Somesh Jha, Barton P. Miller |
| 2004 | ACSAC | Automatic Generation and Analysis of NIDS Attacks. | Shai Rubin, Somesh Jha, Barton P. Miller |
| 2004 | ISSTA | Testing malware detectors. | Mihai Christodorescu, Somesh Jha |
| 2004 | NDSS | Efficient Context-Sensitive Intrusion Detection. | Jonathon T. Giffin, Somesh Jha, Barton P. Miller |
| 2004 | NDSS | Global Intrusion Detection in the DOMINO Overlay System. | Vinod Yegneswaran, Paul Barford, Somesh Jha |
| 2004 | SP | Formalizing Sensitivity in Static Analysis for Intrusion Detection. | Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller |
| 2003 | CCS | Buffer overrun detection using linear programming and static analysis. | Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek |
| 2003 | ICSE | Modular Verification of Software Components in C. | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
| 2003 | SEKE | Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. | Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith |
| 2003 | SAS | Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. | Thomas W. Reps, Stefan Schwoon, Somesh Jha |
| 2002 | FOSSACS | Efficient Type Matching. | Somesh Jha, Jens Palsberg, Tian Zhao |
| 2002 | LICS | Tree-Like Counterexamples in Model Checking. | Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith |
| 2002 | SP | Automated Generation and Analysis of Attack Graphs. | Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing |
| 2001 | ICCAD | Non-linear Quantification Scheduling in Image Computation. | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang |
| 2001 | ICSE | Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. | Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith |
| 2001 | ICSE | Survivability Analysis of Network Systems. | Somesh Jha, Jeannette M. Wing |
| 2000 | CAV | Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
| 2000 | DSN | Survivability Analysis of Network Specifications. | Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff |
| 2000 | TACAS | Partial Order Reductions for Security Protocol Verification. | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
| 1999 | PDPTA | Generalized Stuttering Equivalence. | Somesh Jha, Doron A. Peled |
| 1998 | CAV | Symmetry Reductions in Model Checking. | Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla |
| 1997 | ICCD | Equivalence Checking Using Abstract BDDs. | Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke |
| 1997 | TACAS | Combining Partial Order and Symmetry Reductions. | E. Allen Emerson, Somesh Jha, Doron A. Peled |
| 1996 | FOCS | Approximate Option Pricing. | Prasad Chalasani, Somesh Jha, Isaac Saias |
| 1996 | POPL | Faster Checking of Software Specifications by Eliminating Isomorphs. | Daniel Jackson, Somesh Jha, Craig Damon |
| 1995 | CONCUR | Veryfying Parameterized Networks using Abstraction and Regular Languages. | Edmund M. Clarke, Orna Grumberg, Somesh Jha |
| 1994 | CAV | An Improved Algorithm for the Evaluation of Fixpoint Expressions. | David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
| 1993 | CAV | Exploiting Symmetry In Temporal Logic Model Checking. | Edmund M. Clarke, Thomas Filkorn, Somesh Jha |