Somesh Jha - RankMe

386 papers A* 99A 39B 8C 3Misc 4Journal 172Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Policy Compiler for Secure Agentic Systems. CoRR Nils Palumbo, Sarthak Choudhary, Jihye Choi, Prasad Chalasani, Somesh Jha
2025	J	`jnl`	ARMOR: Aligning Secure and Safe Large Language Models via Meticulous Reasoning. CoRR Zhengyue Zhao, Yingzi Ma, Somesh Jha, Marco Pavone, Chaowei Xiao
2025	J	`jnl`	ATLAS: Constraints-Aware Multi-Agent Collaboration for Real-World Travel Planning. CoRR Jihye Choi, Jinsung Yoon, Jiefeng Chen, Somesh Jha, Tomas Pfister
2025	J	`jnl`	Auto-SPT: Automating Semantic Preserving Transformations for Code. CoRR Ashish Hooda, Mihai Christodorescu, Chuangang Ren, Aaron Wilson, Kassem Fawaz, Somesh Jha
2025	A*	`conf`	AutoDAN-Turbo: A Lifelong Agent for Strategy Self-Exploration to Jailbreak LLMs. ICLR Xiaogeng Liu, Peiran Li, G. Edward Suh, Yevgeniy Vorobeychik, Zhuoqing Mao, Somesh Jha, Patrick McDaniel, Huan Sun, Bo Li, Chaowei Xiao
2025	A*	`conf`	CONDA: Adaptive Concept Bottleneck for Foundation Models Under Distribution Shifts. ICLR Jihye Choi, Jayaram Raghuram, Yixuan Li, Somesh Jha
2025	A*	`conf`	Can Watermarks be Used to Detect LLM IP Infringement For Free? ICLR Zhengyue Zhao, Xiaogeng Liu, Somesh Jha, Patrick McDaniel, Bo Li, Chaowei Xiao
2025	A*	`conf`	Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks. ICLR Zi Wang, Divyam Anshumaan, Ashish Hooda, Yudong Chen, Somesh Jha
2025	—	`conf`	How Not to Detect Prompt Injections with an LLM. AISec@CCS Sarthak Choudhary, Divyam Anshumaan, Nils Palumbo, Somesh Jha
2025	J	`jnl`	How Not to Detect Prompt Injections with an LLM. CoRR Sarthak Choudhary, Divyam Anshumaan, Nils Palumbo, Somesh Jha
2025	J	`jnl`	LLM-Driven Multi-step Translation from C to Rust using Static Analysis. CoRR Tianyang Zhou, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran
2025	A	`conf`	On the Difficulty of Constructing a Robust and Publicly-Detectable Watermark. AISTATS Jaiden Fairoze, Guillermo Ortiz-Jiménez, Mel Vecerík, Somesh Jha, Sven Gowal
2025	J	`jnl`	On the Difficulty of Constructing a Robust and Publicly-Detectable Watermark. CoRR Jaiden Fairoze, Guillermo Ortiz-Jiménez, Mel Vecerík, Somesh Jha, Sven Gowal
2025	J	`jnl`	PEA: Enhancing LLM Performance on Computational-Reasoning Tasks. CoRR Zi Wang, Shiwei Weng, Mohannad Alhanahnah, Somesh Jha, Thomas W. Reps
2025	J	`jnl`	Privacy-Preserving Performance Profiling of In-The-Wild GPUs. CoRR Ian McDougall, Michael Davies, Rahul Chatterjee, Somesh Jha, Karthikeyan Sankaralingam
2025	J	`jnl`	Probably Approximately Correct Causal Discovery. CoRR Mian Wei, Somesh Jha, David Page
2025	J	`jnl`	Prεεmpt: Sanitizing Sensitive Prompts for LLMs. CoRR Amrita Roy Chowdhury, David Glukhov, Divyam Anshumaan, Prasad Chalasani, Nicolas Papernot, Somesh Jha, Mihir Bellare
2025	J	`jnl`	SLVR: Securely Leveraging Client Validation for Robust Federated Learning. CoRR Jihye Choi, Sai Rahul Rachuri, Ke Wang, Somesh Jha, Yizhen Wang
2025	A*	`conf`	Secure Noise Sampling for Differentially Private Collaborative Learning. CCS Olive Franzese, Congyu Fang, Radhika Garg, Xiao Wang, Somesh Jha, Nicolas Papernot, Adam Dziedzic
2025	J	`jnl`	Secure Noise Sampling for Differentially Private Collaborative Learning. IACR Cryptol. ePrint Arch. Olive Franzese, Congyu Fang, Radhika Garg, Somesh Jha, Nicolas Papernot, Xiao Wang, Adam Dziedzic
2025	A*	`conf`	SoK: Watermarking for AI-Generated Content. SP Xuandong Zhao, Sam Gunn, Miranda Christ, Jaiden Fairoze, Andrés Fábrega, Nicholas Carlini, Sanjam Garg, Sanghyun Hong, Milad Nasr, Florian Tramèr, Somesh Jha, Lei Li, Yu-Xiang Wang, Dawn Song
2025	J	`jnl`	Systems Security Foundations for Agentic Computing. CoRR Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha, Johann Rehberger, Khawaja Shams
2025	J	`jnl`	Systems Security Foundations for Agentic Computing. IACR Cryptol. ePrint Arch. Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha, Johann Rehberger, Khawaja Shams
2025	J	`jnl`	Through the Stealth Lens: Rethinking Attacks and Defenses in RAG. CoRR Sarthak Choudhary, Nils Palumbo, Ashish Hooda, Krishnamurthy Dj Dvijotham, Somesh Jha
2025	A*	`conf`	Validating Mechanistic Interpretations: An Axiomatic Approach. ICML Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha
2025	J	`jnl`	What Really is a Member? Discrediting Membership Inference via Poisoning. CoRR Neal Mangaokar, Ashish Hooda, Zhuohang Li, Bradley A. Malin, Kassem Fawaz, Somesh Jha, Atul Prakash, Amrita Roy Chowdhury
2024	J	`jnl`	A New Era in LLM Security: Exploring Security Concerns in Real-World LLM-based Systems. CoRR Fangzhou Wu, Ning Zhang, Somesh Jha, Patrick D. McDaniel, Chaowei Xiao
2024	J	`jnl`	ASPEST: Bridging the Gap Between Active Learning and Selective Prediction. Trans. Mach. Learn. Res. Jiefeng Chen, Jinsung Yoon, Sayna Ebrahimi, Sercan Ö. Arik, Somesh Jha, Tomas Pfister
2024	J	`jnl`	Adaptive Concept Bottleneck for Foundation Models Under Distribution Shifts. CoRR Jihye Choi, Jayaram Raghuram, Yixuan Li, Somesh Jha
2024	J	`jnl`	AutoDAN-Turbo: A Lifelong Agent for Strategy Self-Exploration to Jailbreak LLMs. CoRR Xiaogeng Liu, Peiran Li, G. Edward Suh, Yevgeniy Vorobeychik, Zhuoqing Mao, Somesh Jha, Patrick McDaniel, Huan Sun, Bo Li, Chaowei Xiao
2024	A	`conf`	D4: Detection of Adversarial Diffusion Deepfakes Using Disjoint Ensembles. WACV Ashish Hooda, Neal Mangaokar, Ryan Feng, Kassem Fawaz, Somesh Jha, Atul Prakash
2024	J	`jnl`	Do Large Code Models Understand Programming Concepts? A Black-box Approach. CoRR Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha
2024	A*	`conf`	Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates. ICML Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha
2024	J	`jnl`	Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks. CoRR Zi Wang, Divyam Anshumaan, Ashish Hooda, Yudong Chen, Somesh Jha
2024	J	`jnl`	Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2. ACM Trans. Cyber Phys. Syst. Samarjit Chakraborty, Somesh Jha, Soheil Samii, Philipp Mundhenk
2024	—	`conf`	MALADE: Orchestration of LLM-powered Agents with Retrieval Augmented Generation for Pharmacovigilance. MLHC Jihye Choi, Nils Palumbo, Prasad Chalasani, Matthew M. Engelhard, Somesh Jha, Anivarya Kumar, David Page
2024	J	`jnl`	MALADE: Orchestration of LLM-powered Agents with Retrieval Augmented Generation for Pharmacovigilance. CoRR Jihye Choi, Nils Palumbo, Prasad Chalasani, Matthew M. Engelhard, Somesh Jha, Anivarya Kumar, David Page
2024	J	`jnl`	Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach. CoRR Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha
2024	A*	`conf`	On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks. ICLR Zi Wang, Bin Hu, Aaron J. Havens, Alexandre Araujo, Yang Zheng, Yudong Chen, Somesh Jha
2024	—	`conf`	PRP: Propagating Universal Perturbations to Attack Large Language Model Guard-Rails. ACL (1) Neal Mangaokar, Ashish Hooda, Jihye Choi, Shreyas Chandrashekaran, Kassem Fawaz, Somesh Jha, Atul Prakash
2024	J	`jnl`	PRP: Propagating Universal Perturbations to Attack Large Language Model Guard-Rails. CoRR Neal Mangaokar, Ashish Hooda, Jihye Choi, Shreyas Chandrashekaran, Kassem Fawaz, Somesh Jha, Atul Prakash
2024	J	`jnl`	PolicyLR: A Logic Representation For Privacy Policies. CoRR Ashish Hooda, Rishabh Khandelwal, Prasad Chalasani, Kassem Fawaz, Somesh Jha
2024	J	`jnl`	Publicly-Detectable Watermarking for Language Models. IACR Commun. Cryptol. Jaiden Fairoze, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang
2024	J	`jnl`	Securing the Future of GenAI: Policy and Technology. CoRR Mihai Christodorescu, Ryan Craven, Soheil Feizi, Neil Gong, Mia Hoffmann, Somesh Jha, Zhengyuan Jiang, Mehrdad Saberi Kamarposhti, John C. Mitchell, Jessica Newman, Emelia Probasco, Yanjun Qi, Khawaja Shams, Matthew Turek
2024	J	`jnl`	Securing the Future of GenAI: Policy and Technology. IACR Cryptol. ePrint Arch. Mihai Christodorescu, Ryan Craven, Soheil Feizi, Neil Zhenqiang Gong, Mia Hoffmann, Somesh Jha, Zhengyuan Jiang, Mehrdad Saberi Kamarposhti, John C. Mitchell, Jessica Newman, Emelia Probasco, Yanjun Qi, Khawaja Shams, Matthew Turek
2024	J	`jnl`	SoK: Watermarking for AI-Generated Content. CoRR Xuandong Zhao, Sam Gunn, Miranda Christ, Jaiden Fairoze, Andrés Fábrega, Nicholas Carlini, Sanjam Garg, Sanghyun Hong, Milad Nasr, Florian Tramèr, Somesh Jha, Lei Li, Yu-Xiang Wang, Dawn Song
2024	A*	`conf`	Two Heads are Actually Better than One: Towards Better Adversarial Robustness via Transduction and Rejection. ICML Nils Palumbo, Yang Guo, Xi Wu, Jiefeng Chen, Yingyu Liang, Somesh Jha
2023	J	`jnl`	A Somewhat Robust Image Watermark against Diffusion-based Editing Models. CoRR Mingtian Tan, Tianhao Wang, Somesh Jha
2023	J	`jnl`	ASPEST: Bridging the Gap Between Active Learning and Selective Prediction. CoRR Jiefeng Chen, Jinsung Yoon, Sayna Ebrahimi, Sercan Ö. Arik, Somesh Jha, Tomas Pfister
2023	—	`conf`	Adaptation with Self-Evaluation to Improve Selective Prediction in LLMs. EMNLP (Findings) Jiefeng Chen, Jinsung Yoon, Sayna Ebrahimi, Sercan Ö. Arik, Tomas Pfister, Somesh Jha
2023	J	`jnl`	Adaptation with Self-Evaluation to Improve Selective Prediction in LLMs. CoRR Jiefeng Chen, Jinsung Yoon, Sayna Ebrahimi, Sercan Ö. Arik, Tomas Pfister, Somesh Jha
2023	J	`jnl`	Bilevel Relations and Their Applications to Data Insights. CoRR Xi Wu, Xiangyao Yu, Shaleen Deep, Ahmed Mahmood, Uyeong Jang, Stratis Viglas, Somesh Jha, John Cieslewicz, Jeffrey F. Naughton
2023	A*	`conf`	Concept-based Explanations for Out-of-Distribution Detectors. ICML Jihye Choi, Jayaram Raghuram, Ryan Feng, Jiefeng Chen, Somesh Jha, Atul Prakash
2023	A	`conf`	Differentially Private Resource Allocation. ACSAC Joann Qiongna Chen, Tianhao Wang, Zhikun Zhang, Yang Zhang, Somesh Jha, Zhou Li
2023	J	`jnl`	Efficient Symbolic Reasoning for Neural-Network Verification. CoRR Zi Wang, Somesh Jha, Krishnamurthy Dvijotham
2023	A*	`conf`	Experimenting with Zero-Knowledge Proofs of Training. CCS Sanjam Garg, Aarushi Goel, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Guru-Vamsi Policharla, Mingyuan Wang
2023	J	`jnl`	Experimenting with Zero-Knowledge Proofs of Training. IACR Cryptol. ePrint Arch. Sanjam Garg, Aarushi Goel, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Guru-Vamsi Policharla, Mingyuan Wang
2023	A*	`conf`	Fairness Properties of Face Recognition and Obfuscation Systems. USENIX Security Symposium Harrison Rosenberg, Brian Tang, Kassem Fawaz, Somesh Jha
2023	A*	`conf`	Few-Shot Domain Adaptation For End-to-End Communication. ICLR Jayaram Raghuram, Yijing Zeng, Dolores García, Rafael Ruiz, Somesh Jha, Joerg Widmer, Suman Banerjee
2023	J	`jnl`	Formal Analysis of the API Proxy Problem. CoRR Somesh Jha, Mihai Christodorescu, Anh Pham
2023	A*	`conf`	Grounding Neural Inference with Satisfiability Modulo Theories. NeurIPS Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson
2023	J	`jnl`	Holistic Cube Analysis: A Query Framework for Data Insights. CoRR Xi Wu, Joe Benassi, Yaqi Zhang, Uyeong Jang, James Foster, Stella Kim, Yujing Sun, Somesh Jha, John Cieslewicz, Jeffrey F. Naughton
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. CoRR Clark W. Barrett, Brad Boyd, Ellie Burzstein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. Clark W. Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
2023	J	`jnl`	Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1. ACM Trans. Cyber Phys. Syst. Samarjit Chakraborty, Somesh Jha, Soheil Samii, Philipp Mundhenk
2023	J	`jnl`	Investigating Stateful Defenses Against Black-Box Adversarial Examples. CoRR Ryan Feng, Ashish Hooda, Neal Mangaokar, Kassem Fawaz, Somesh Jha, Atul Prakash
2023	J	`jnl`	Learning Modulo Theories. CoRR Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang
2023	—	`conf`	Less is More: Dimension Reduction Finds On-Manifold Adversarial Examples in Hard-Label Attacks. SaTML Washington Garcia, Pin-Yu Chen, Hamilton Scott Clouse, Somesh Jha, Kevin R. B. Butler
2023	J	`jnl`	Pareto-Secure Machine Learning (PSML): Fingerprinting and Securing Inference Serving Systems. CoRR Debopam Sanyal, Jui-Tse Hung, Manav Agrawal, Prahlad Jasti, Shahab Nikkhoo, Somesh Jha, Tianhao Wang, Sibin Mohan, Alexey Tumanov
2023	J	`jnl`	Private Multi-Winner Voting for Machine Learning. Proc. Priv. Enhancing Technol. Adam Dziedzic, Christopher A. Choquette-Choo, Natalie Dullerud, Vinith M. Suriyakumar, Ali Shahin Shamsabadi, Muhammad Ahmad Kaleem, Somesh Jha, Nicolas Papernot, Xiao Wang
2023	J	`jnl`	Publicly Detectable Watermarking for Language Models. CoRR Jaiden Fairoze, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang
2023	J	`jnl`	Publicly Detectable Watermarking for Language Models. IACR Cryptol. ePrint Arch. Jaiden Fairoze, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang
2023	J	`jnl`	Rethink Diversity in Deep Learning Testing. CoRR Zi Wang, Jihye Choi, Somesh Jha
2023	A*	`conf`	Robust and Actively Secure Serverless Collaborative Learning. NeurIPS Nicholas Franzese, Adam Dziedzic, Christopher A. Choquette-Choo, Mark R. Thomas, Muhammad Ahmad Kaleem, Stephan Rabanser, Congyu Fang, Somesh Jha, Nicolas Papernot, Xiao Wang
2023	J	`jnl`	Robust and Actively Secure Serverless Collaborative Learning. CoRR Olive Franzese, Adam Dziedzic, Christopher A. Choquette-Choo, Mark R. Thomas, Muhammad Ahmad Kaleem, Stephan Rabanser, Congyu Fang, Somesh Jha, Nicolas Papernot, Xiao Wang
2023	A*	`conf`	ShadowNet: A Secure and Efficient On-device Model Inference System for Convolutional Neural Networks. SP Zhichuang Sun, Ruimin Sun, Changming Liu, Amrita Roy Chowdhury, Long Lu, Somesh Jha
2023	A*	`conf`	Stateful Defenses for Machine Learning Models Are Not Yet Secure Against Black-box Attacks. CCS Ryan Feng, Ashish Hooda, Neal Mangaokar, Kassem Fawaz, Somesh Jha, Atul Prakash
2023	A*	`conf`	Stratified Adversarial Robustness with Rejection. ICML Jiefeng Chen, Jayaram Raghuram, Jihye Choi, Xi Wu, Yingyu Liang, Somesh Jha
2023	J	`jnl`	Stratified Adversarial Robustness with Rejection. CoRR Jiefeng Chen, Jayaram Raghuram, Jihye Choi, Xi Wu, Yingyu Liang, Somesh Jha
2023	A*	`conf`	The Trade-off between Universality and Label Efficiency of Representations from Contrastive Learning. ICLR Zhenmei Shi, Jiefeng Chen, Kunyang Li, Jayaram Raghuram, Xi Wu, Yingyu Liang, Somesh Jha
2023	J	`jnl`	The Trade-off between Universality and Label Efficiency of Representations from Contrastive Learning. CoRR Zhenmei Shi, Jiefeng Chen, Kunyang Li, Jayaram Raghuram, Xi Wu, Yingyu Liang, Somesh Jha
2023	J	`jnl`	Theoretically Principled Trade-off for Stateful Defenses against Query-Based Black-Box Attacks. CoRR Ashish Hooda, Neal Mangaokar, Ryan Feng, Kassem Fawaz, Somesh Jha, Atul Prakash
2023	J	`jnl`	Two Heads are Better than One: Towards Better Adversarial Robustness by Combining Transduction and Rejection. CoRR Nils Palumbo, Yang Guo, Xi Wu, Jiefeng Chen, Yingyu Liang, Somesh Jha
2023	J	`jnl`	Why Train More? Effective and Efficient Membership Inference via Memorization. CoRR Jihye Choi, Shruti Tople, Varun Chandrasekaran, Somesh Jha
2023	J	`jnl`	autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning. IEEE Trans. Software Eng. Mohannad Alhanahnah, Shiqing Ma, Ashish Gehani, Gabriela F. Ciocarlie, Vinod Yegneswaran, Somesh Jha, Xiangyu Zhang
2023	J	`jnl`	slash: A Technique for Static Configuration-Logic Identification. CoRR Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden
2022	J	`jnl`	A Quantitative Geometric Approach to Neural Network Smoothness. CoRR Zi Wang, Gautam Prakriya, Somesh Jha
2022	A*	`conf`	A Quantitative Geometric Approach to Neural-Network Smoothness. NeurIPS Zi Wang, Gautam Prakriya, Somesh Jha
2022	J	`jnl`	An Exploration of Multicalibration Uniform Convergence Bounds. CoRR Harrison Rosenberg, Robi Bhattacharjee, Kassem Fawaz, Somesh Jha
2022	J	`jnl`	Concept-based Explanations for Out-Of-Distribution Detectors. CoRR Jihye Choi, Jayaram Raghuram, Ryan Feng, Jiefeng Chen, Somesh Jha, Atul Prakash
2022	J	`jnl`	Constraining the Attack Space of Machine Learning Models with Distribution Clamping Preprocessing. CoRR Ryan Feng, Somesh Jha, Atul Prakash
2022	A*	`conf`	EIFFeL: Ensuring Integrity for Federated Learning. CCS Amrita Roy Chowdhury, Chuan Guo, Somesh Jha, Laurens van der Maaten
2022	A*	`conf`	Federated Boosted Decision Trees with Differential Privacy. CCS Samuel Maddock, Graham Cormode, Tianhao Wang, Carsten Maple, Somesh Jha
2022	J	`jnl`	Federated Boosted Decision Trees with Differential Privacy. CoRR Samuel Maddock, Graham Cormode, Tianhao Wang, Carsten Maple, Somesh Jha
2022	A	`conf`	GRAPHITE: Generating Automatic Physical Examples for Machine-Learning Attacks on Computer Vision Systems. EuroS&P Ryan Feng, Neal Mangaokar, Jiefeng Chen, Earlence Fernandes, Somesh Jha, Atul Prakash
2022	J	`jnl`	Interval universal approximation for neural networks. Proc. ACM Program. Lang. Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha
2022	A	`conf`	Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. EuroS&P Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
2022	J	`jnl`	Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291). Dagstuhl Reports Sébastien Bardin, Somesh Jha, Vijay Ganesh
2022	J	`jnl`	Machine learning and logic: a new frontier in artificial intelligence. Formal Methods Syst. Des. Vijay Ganesh, Sanjit A. Seshia, Somesh Jha
2022	J	`jnl`	Optimal Membership Inference Bounds for Adaptive Composition of Sampled Gaussian Mechanisms. CoRR Saeed Mahloujifar, Alexandre Sablayrolles, Graham Cormode, Somesh Jha
2022	A*	`conf`	Overparameterization from Computational Constraints. NeurIPS Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang
2022	J	`jnl`	Overparameterized (robust) models from computational constraints. CoRR Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang
2022	A*	`conf`	Privacy Implications of Shuffling. ICLR Casey Meehan, Amrita Roy Chowdhury, Kamalika Chaudhuri, Somesh Jha
2022	J	`jnl`	Private Multi-Winner Voting for Machine Learning. CoRR Adam Dziedzic, Christopher A. Choquette-Choo, Natalie Dullerud, Vinith Menon Suriyakumar, Ali Shahin Shamsabadi, Muhammad Ahmad Kaleem, Somesh Jha, Nicolas Papernot, Xiao Wang
2022	A*	`conf`	Robust Learning against Relational Adversaries. NeurIPS Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha
2022	A	`conf`	Semantic Robustness of Models of Source Code. SANER Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
2022	A*	`conf`	Strengthening Order Preserving Encryption with Differential Privacy. CCS Amrita Roy Chowdhury, Bolin Ding, Somesh Jha, Weiran Liu, Jingren Zhou
2022	J	`jnl`	Towards Adversarially Robust Deepfake Detection: An Ensemble Approach. CoRR Ashish Hooda, Neal Mangaokar, Ryan Feng, Kassem Fawaz, Somesh Jha, Atul Prakash
2022	A*	`conf`	Towards Evaluating the Robustness of Neural Networks Learned by Transduction. ICLR Jiefeng Chen, Xi Wu, Yang Guo, Yingyu Liang, Somesh Jha
2022	J	`jnl`	Using Illustrations to Communicate Differential Privacy Trust Models: An Investigation of Users' Comprehension, Perception, and Data Sharing Decision. CoRR Aiping Xiong, Chuhao Wu, Tianhao Wang, Robert W. Proctor, Jeremiah Blocki, Ninghui Li, Somesh Jha
2021	J	`jnl`	2018 CAV award. Formal Methods Syst. Des. Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha
2021	A*	`conf`	A General Framework For Detecting Anomalous Inputs to DNN Classifiers. ICML Jayaram Raghuram, Varun Chandrasekaran, Somesh Jha, Suman Banerjee
2021	A*	`conf`	A Separation Result Between Data-oblivious and Data-aware Poisoning Attacks. NeurIPS Samuel Deng, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Abhradeep Guha Thakurta
2021	J	`jnl`	A Shuffling Framework for Local Differential Privacy. CoRR Casey Meehan, Amrita Roy Chowdhury, Kamalika Chaudhuri, Somesh Jha
2021	—	`conf`	ATOM: Robustifying Out-of-Distribution Detection Using Outlier Mining. ECML/PKDD (3) Jiefeng Chen, Yixuan Li, Xi Wu, Yingyu Liang, Somesh Jha
2021	—	`conf`	Brittle Features of Device Authentication. CODASPY Washington Garcia, Animesh Chhotaray, Joseph I. Choi, Suman Kalyan Adari, Kevin R. B. Butler, Somesh Jha
2021	A*	`conf`	CaPC Learning: Confidential and Private Collaborative Learning. ICLR Christopher A. Choquette-Choo, Natalie Dullerud, Adam Dziedzic, Yunxiang Zhang, Somesh Jha, Nicolas Papernot, Xiao Wang
2021	J	`jnl`	CaPC Learning: Confidential and Private Collaborative Learning. CoRR Christopher A. Choquette-Choo, Natalie Dullerud, Adam Dziedzic, Yunxiang Zhang, Somesh Jha, Nicolas Papernot, Xiao Wang
2021	J	`jnl`	Causally Constrained Data Synthesis for Private Data Release. CoRR Varun Chandrasekaran, Darren Edge, Somesh Jha, Amit Sharma, Cheng Zhang, Shruti Tople
2021	A*	`conf`	Continuous Release of Data Streams under both Centralized and Local Differential Privacy. CCS Tianhao Wang, Joann Qiongna Chen, Zhikun Zhang, Dong Su, Yueqiang Cheng, Zhou Li, Ninghui Li, Somesh Jha
2021	A*	`conf`	Detecting Errors and Estimating Accuracy on Unlabeled Data with Self-training Ensembles. NeurIPS Jiefeng Chen, Frederick Liu, Besim Avci, Xi Wu, Yingyu Liang, Somesh Jha
2021	J	`jnl`	Detecting Errors and Estimating Accuracy on Unlabeled Data with Self-training Ensembles. CoRR Jiefeng Chen, Frederick Liu, Besim Avci, Xi Wu, Yingyu Liang, Somesh Jha
2021	J	`jnl`	Domain Adaptation for Autoencoder-Based End-to-End Communication Over Wireless Channels. CoRR Jayaram Raghuram, Yijing Zeng, Dolores García Martí, Somesh Jha, Suman Banerjee, Joerg Widmer, Rafael Ruiz Ortiz
2021	J	`jnl`	EIFFeL: Ensuring Integrity for Federated Learning. CoRR Amrita Roy Chowdhury, Chuan Guo, Somesh Jha, Laurens van der Maaten
2021	J	`jnl`	Exploring Adversarial Robustness of Deep Metric Learning. CoRR Thomas Kobber Panum, Zi Wang, Pengyu Kan, Earlence Fernandes, Somesh Jha
2021	J	`jnl`	Face-Off: Adversarial Face Obfuscation. Proc. Priv. Enhancing Technol. Varun Chandrasekaran, Chuhan Gao, Brian Tang, Kassem Fawaz, Somesh Jha, Suman Banerjee
2021	J	`jnl`	Fairness Properties of Face Recognition and Obfuscation Systems. CoRR Harrison Rosenberg, Brian Tang, Kassem Fawaz, Somesh Jha
2021	J	`jnl`	Hard-label Manifolds: Unexpected Advantages of Query Efficiency for Finding On-manifold Adversarial Examples. CoRR Washington Garcia, Pin-Yu Chen, Somesh Jha, Scott Clouse, Kevin R. B. Butler
2021	A*	`conf`	Is Private Learning Possible with Instance Encoding? SP Nicholas Carlini, Samuel Deng, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Abhradeep Thakurta, Florian Tramèr
2021	J	`jnl`	Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. CoRR Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
2021	J	`jnl`	Locally Differentially Private Heavy Hitter Identification. IEEE Trans. Dependable Secur. Comput. Tianhao Wang, Ninghui Li, Somesh Jha
2021	J	`jnl`	NeuraCrypt is not private. CoRR Nicholas Carlini, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Florian Tramèr
2021	A*	`conf`	Sample Complexity of Robust Linear Classification on Separated Data. ICML Robi Bhattacharjee, Somesh Jha, Kamalika Chaudhuri
2021	J	`jnl`	TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection. IEEE Trans. Inf. Forensics Secur. Hassaan Irshad, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Kyu Hyung Lee, Jignesh M. Patel, Somesh Jha, Yonghwi Kwon, Dongyan Xu, Xiangyu Zhang
2021	J	`jnl`	Towards Adversarial Robustness via Transductive Learning. CoRR Jiefeng Chen, Yang Guo, Xi Wu, Tianqi Li, Qicheng Lao, Yingyu Liang, Somesh Jha
2021	J	`jnl`	Towards Evaluating the Robustness of Neural Networks Learned by Transduction. CoRR Jiefeng Chen, Xi Wu, Yang Guo, Yingyu Liang, Somesh Jha
2021	A	`conf`	Trustworthy Machine Learning: Past, Present, and Future. AsiaCCS Somesh Jha
2020	J	`jnl`	Abstract Universal Approximation for Neural Networks. CoRR Zi Wang, Aws Albarghouthi, Somesh Jha
2020	B	`conf`	Adversarially Robust Learning Could Leverage Computational Hardness. ALT Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody
2020	J	`jnl`	An Attack on InstaHide: Is Private Learning Possible with Instance Encoding? CoRR Nicholas Carlini, Samuel Deng, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Shuang Song, Abhradeep Thakurta, Florian Tramèr
2020	J	`jnl`	Analyzing Accuracy Loss in Randomized Smoothing Defenses. CoRR Yue Gao, Harrison Rosenberg, Kassem Fawaz, Somesh Jha, Justin Hsu
2020	A*	`conf`	CAUSE: Learning Granger Causality from Event Sequences using Attribution Methods. ICML Wei Zhang, Thomas Kobber Panum, Somesh Jha, Prasad Chalasani, David Page
2020	J	`jnl`	CAUSE: Learning Granger Causality from Event Sequences using Attribution Methods. CoRR Wei Zhang, Thomas Kobber Panum, Somesh Jha, Prasad Chalasani, David Page
2020	A*	`conf`	Concise Explanations of Neural Networks using Adversarial Training. ICML Prasad Chalasani, Jiefeng Chen, Amrita Roy Chowdhury, Xi Wu, Somesh Jha
2020	J	`jnl`	Continuous Release of Data Streams under both Centralized and Local Differential Privacy. CoRR Tianhao Wang, Joann Qiongna Chen, Zhikun Zhang, Dong Su, Yueqiang Cheng, Zhou Li, Ninghui Li, Somesh Jha
2020	—	`conf`	Crypt?: Crypto-Assisted Differential Privacy on Untrusted Servers. SIGMOD Conference Amrita Roy Chowdhury, Chenghong Wang, Xi He, Ashwin Machanavajjhala, Somesh Jha
2020	A*	`conf`	Data-Dependent Differentially Private Parameter Learning for Directed Graphical Models. ICML Amrita Roy Chowdhury, Theodoros Rekatsinas, Somesh Jha
2020	J	`jnl`	Detecting Anomalous Inputs to DNN Classifiers By Joint Statistical Testing at the Layers. CoRR Jayaram Raghuram, Varun Chandrasekaran, Somesh Jha, Suman Banerjee
2020	A*	`conf`	Exploring Connections Between Active Learning and Model Extraction. USENIX Security Symposium Varun Chandrasekaran, Kamalika Chaudhuri, Irene Giacomelli, Somesh Jha, Songbai Yan
2020	J	`jnl`	Face-Off: Adversarial Face Obfuscation. CoRR Chuhan Gao, Varun Chandrasekaran, Kassem Fawaz, Somesh Jha
2020	J	`jnl`	Improving Utility and Security of the Shuffler-based Differential Privacy. Proc. VLDB Endow. Tianhao Wang, Min Xu, Bolin Ding, Jingren Zhou, Cheng Hong, Zhicong Huang, Ninghui Li, Somesh Jha
2020	J	`jnl`	Intertwining Order Preserving Encryption and Differential Privacy. CoRR Amrita Roy Chowdhury, Bolin Ding, Somesh Jha, Weiran Liu, Jingren Zhou
2020	A*	`conf`	OAT: Attesting Operation Integrity of Embedded Devices. SP Zhichuang Sun, Bo Feng, Long Lu, Somesh Jha
2020	J	`jnl`	Obliviousness Makes Poisoning Adversaries Weaker. CoRR Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Abhradeep Thakurta
2020	A*	`conf`	On the Need for Topology-Aware Generative Models for Manifold-Based Defenses. ICLR Uyeong Jang, Susmit Jha, Somesh Jha
2020	J	`jnl`	Overfitting, robustness, and malicious algorithms: A study of potential causes of privacy risk in machine learning. J. Comput. Secur. Samuel Yeom, Irene Giacomelli, Alan Menaged, Matt Fredrikson, Somesh Jha
2020	J	`jnl`	Query-Efficient Physical Hard-Label Attacks on Deep Learning Visual Classification. CoRR Ryan Feng, Jiefeng Chen, Nelson R. Manohar, Earlence Fernandes, Somesh Jha, Atul Prakash
2020	J	`jnl`	Representation Bayesian Risk Decompositions and Multi-Source Domain Adaptation. CoRR Xi Wu, Yang Guo, Jiefeng Chen, Yingyu Liang, Somesh Jha, Prasad Chalasani
2020	J	`jnl`	Robust Learning against Logical Adversaries. CoRR Yizhen Wang, Xiaozhu Meng, Mihai Christodorescu, Somesh Jha
2020	J	`jnl`	Robust Out-of-distribution Detection in Neural Networks. CoRR Jiefeng Chen, Yixuan Li, Xi Wu, Yingyu Liang, Somesh Jha
2020	J	`jnl`	Robust Out-of-distribution Detection via Informative Outlier Mining. CoRR Jiefeng Chen, Yixuan Li, Xi Wu, Yingyu Liang, Somesh Jha
2020	J	`jnl`	Sample Complexity of Adversarially Robust Linear Classification on Separated Data. CoRR Robi Bhattacharjee, Somesh Jha, Kamalika Chaudhuri
2020	J	`jnl`	Semantic Adversarial Deep Learning. IEEE Des. Test Sanjit A. Seshia, Somesh Jha, Tommaso Dreossi
2020	J	`jnl`	Semantic Robustness of Models of Source Code. CoRR Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
2020	J	`jnl`	ShadowNet: A Secure and Efficient System for On-device Model Inference. CoRR Zhichuang Sun, Ruimin Sun, Long Lu, Somesh Jha
2020	A*	`conf`	Towards Effective Differential Privacy Communication for Users' Data Sharing Decision and Comprehension. SP Aiping Xiong, Tianhao Wang, Ninghui Li, Somesh Jha
2020	J	`jnl`	Towards Effective Differential Privacy Communication for Users' Data Sharing Decision and Comprehension. CoRR Aiping Xiong, Tianhao Wang, Ninghui Li, Somesh Jha
2019	J	`jnl`	Adversarially Robust Learning Could Leverage Computational Hardness. CoRR Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody
2019	—	`conf`	Answering Multi-Dimensional Analytical Queries under Local Differential Privacy. SIGMOD Conference Tianhao Wang, Bolin Ding, Jingren Zhou, Cheng Hong, Zhicong Huang, Ninghui Li, Somesh Jha
2019	A*	`conf`	Attribution-Based Confidence Metric For Deep Neural Networks. NeurIPS Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami
2019	J	`jnl`	Attribution-driven Causal Analysis for Detection of Adversarial Examples. CoRR Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, Brian Jalaian, Ananthram Swami
2019	J	`jnl`	Data-Dependent Differentially Private Parameter Learning for Directed Graphical Models. CoRR Amrita Roy Chowdhury, Theodoros Rekatsinas, Somesh Jha
2019	J	`jnl`	Enhancing ML Robustness Using Physical-World Constraints. CoRR Varun Chandrasekaran, Brian Tang, Varsha Pendyala, Kassem Fawaz, Somesh Jha, Xi Wu
2019	J	`jnl`	Generating Semantic Adversarial Examples with Differentiable Rendering. CoRR Lakshya Jain, Wilson Wu, Steven Chen, Uyeong Jang, Varun Chandrasekaran, Sanjit A. Seshia, Somesh Jha
2019	J	`jnl`	On Need for Topology Awareness of Generative Models. CoRR Uyeong Jang, Susmit Jha, Somesh Jha
2019	J	`jnl`	Outis: Crypto-Assisted Differential Privacy on Untrusted Servers. CoRR Amrita Roy Chowdhury, Chenghong Wang, Xi He, Ashwin Machanavajjhala, Somesh Jha
2019	J	`jnl`	Practical and Robust Privacy Amplification with Multi-Party Differential Privacy. CoRR Tianhao Wang, Min Xu, Bolin Ding, Jingren Zhou, Ninghui Li, Somesh Jha
2019	A*	`conf`	Robust Attribution Regularization. NeurIPS Jiefeng Chen, Xi Wu, Vaibhav Rastogi, Yingyu Liang, Somesh Jha
2019	J	`jnl`	Robust Attribution Regularization. CoRR Jiefeng Chen, Xi Wu, Vaibhav Rastogi, Yingyu Liang, Somesh Jha
2019	A	`conf`	Towards Understanding Limitations of Pixel Discretization Against Adversarial Attacks. EuroS&P Jiefeng Chen, Xi Wu, Vaibhav Rastogi, Yingyu Liang, Somesh Jha
2018	J	`jnl`	Adversarial Binaries for Authorship Identification. CoRR Xiaozhu Meng, Barton P. Miller, Somesh Jha
2018	A*	`conf`	Analyzing the Robustness of Nearest Neighbors to Adversarial Examples. ICML Yizhen Wang, Somesh Jha, Kamalika Chaudhuri
2018	J	`jnl`	Concise Explanations of Neural Networks using Adversarial Training. CoRR Prasad Chalasani, Jiefeng Chen, Amrita Roy Chowdhury, Somesh Jha, Xi Wu
2018	—	`conf`	Detecting Adversarial Examples Using Data Manifolds. MILCOM Susmit Jha, Uyeong Jang, Somesh Jha, Brian Jalaian
2018	J	`jnl`	Explainable Black-Box Attacks Against Model-based Authentication. CoRR Washington Garcia, Joseph I. Choi, Suman Kalyan Adari, Somesh Jha, Kevin R. B. Butler
2018	J	`jnl`	Improving Adversarial Robustness by Data-Specific Discretization. CoRR Jiefeng Chen, Xi Wu, Yingyu Liang, Somesh Jha
2018	—	`conf`	Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. USENIX ATC Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha
2018	A*	`conf`	Locally Differentially Private Frequent Itemset Mining. IEEE Symposium on Security and Privacy Tianhao Wang, Ninghui Li, Somesh Jha
2018	A*	`conf`	MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation. NDSS 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	J	`jnl`	Malware lineage in the wild. Comput. Secur. Irfan Ul Haq, Sergio Chica, Juan Caballero, Somesh Jha
2018	J	`jnl`	Model Extraction and Active Learning. CoRR Varun Chandrasekaran, Kamalika Chaudhuri, Irene Giacomelli, Somesh Jha, Songbai Yan
2018	J	`jnl`	Neural-Augmented Static Analysis of Android Communication. CoRR Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
2018	—	`conf`	Neural-augmented static analysis of Android communication. ESEC/SIGSOFT FSE Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
2018	J	`jnl`	OEI: Operation Execution Integrity for Embedded Devices. CoRR Zhichuang Sun, Bo Feng, Long Lu, Somesh Jha
2018	A	`conf`	Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting. CSF Samuel Yeom, Irene Giacomelli, Matt Fredrikson, Somesh Jha
2018	—	`conf`	Privacy at Scale: Local Differential Privacy in Practice. SIGMOD Conference Graham Cormode, Somesh Jha, Tejas Kulkarni, Ninghui Li, Divesh Srivastava, Tianhao Wang
2018	J	`jnl`	Privacy-Preserving Collaborative Prediction using Random Forests. CoRR Irene Giacomelli, Somesh Jha, Ross Kleiman, David Page, Kyonghwan Yoon
2018	B	`conf`	Privacy-Preserving Ridge Regression with only Linearly-Homomorphic Encryption. ACNS Irene Giacomelli, Somesh Jha, Marc Joye, C. David Page, Kyonghwan Yoon
2018	A*	`conf`	Reinforcing Adversarial Robustness using Model Confidence Induced by Adversarial Training. ICML Xi Wu, Uyeong Jang, Jiefeng Chen, Lingjiao Chen, Somesh Jha
2018	—	`conf`	Semantic Adversarial Deep Learning. CAV (1) Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
2018	J	`jnl`	Semantic Adversarial Deep Learning. CoRR Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
2018	—	`conf`	Smart Contracts and Opportunities for Formal Methods. ISoLA (4) Andrew Miller, Zhicheng Cai, Somesh Jha
2017	J	`jnl`	Analyzing the Robustness of Nearest Neighbors to Adversarial Examples. CoRR Yizhen Wang, Somesh Jha, Kamalika Chaudhuri
2017	—	`conf`	Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics. SIGMOD Conference Xi Wu, Fengan Li, Arun Kumar, Kamalika Chaudhuri, Somesh Jha, Jeffrey F. Naughton
2017	A*	`conf`	Botnet protocol inference in the presence of encrypted traffic. INFOCOM Lorenzo De Carli, Ruben Torres, Gaspar Modelo-Howard, Alok Tongaonkar, Somesh Jha
2017	—	`conf`	Cimplifier: automatically debloating containers. ESEC/SIGSOFT FSE Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, Patrick D. McDaniel
2017	C	`conf`	Enhancing Android Security Through App Splitting. SecureComm Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha
2017	—	`conf`	Kali: Scalable encryption fingerprinting in dynamic malware traces. MALWARE Lorenzo De Carli, Ruben Torres, Gaspar Modelo-Howard, Alok Tongaonkar, Somesh Jha
2017	J	`jnl`	Locally Differentially Private Heavy Hitter Identification. CoRR Tianhao Wang, Ninghui Li, Somesh Jha
2017	A*	`conf`	Locally Differentially Private Protocols for Frequency Estimation. USENIX Security Symposium Tianhao Wang, Jeremiah Blocki, Ninghui Li, Somesh Jha
2017	J	`jnl`	Malware Lineage in the Wild. CoRR Irfan Ul Haq, Sergio Chica, Juan Caballero, Somesh Jha
2017	J	`jnl`	Manifold Assumption and Defenses Against Adversarial Perturbations. CoRR Xi Wu, Uyeong Jang, Lingjiao Chen, Somesh Jha
2017	—	`conf`	New Directions for Container Debloating. FEAST@CCS Vaibhav Rastogi, Chaitra Niddodi, Sibin Mohan, Somesh Jha
2017	A	`conf`	Objective Metrics and Gradient Descent Algorithms for Adversarial Examples in Machine Learning. ACSAC Uyeong Jang, Xi Wu, Somesh Jha
2017	J	`jnl`	Optimizing Locally Differentially Private Protocols. CoRR Tianhao Wang, Jeremiah Blocki, Ninghui Li, Somesh Jha
2017	J	`jnl`	Policy by Example: An Approach for Security Policy Specification. CoRR Adwait Nadkarni, William Enck, Somesh Jha, Jessica Staddon
2017	A	`conf`	Practical Black-Box Attacks against Machine Learning. AsiaCCS Nicolas Papernot, Patrick D. McDaniel, Ian J. Goodfellow, Somesh Jha, Z. Berkay Celik, Ananthram Swami
2017	J	`jnl`	Privacy-Preserving Ridge Regression on Distributed Data. IACR Cryptol. ePrint Arch. Irene Giacomelli, Somesh Jha, C. David Page, Kyonghwan Yoon
2017	J	`jnl`	Privacy-Preserving Ridge Regression with only Linearly-Homomorphic Encryption. IACR Cryptol. ePrint Arch. Irene Giacomelli, Somesh Jha, Marc Joye, C. David Page, Kyonghwan Yoon
2017	J	`jnl`	Program synthesis for interactive-security systems. Formal Methods Syst. Des. William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia
2017	J	`jnl`	ROSA: R Optimizations with Static Analysis. CoRR Rathijit Sen, Jianqiao Zhu, Jignesh M. Patel, Somesh Jha
2017	A	`conf`	Secure Integration of Web Content and Applications on Commodity Mobile Operating Systems. AsiaCCS Drew Davidson, Yaohui Chen, Franklin George, Long Lu, Somesh Jha
2017	J	`jnl`	The Unintended Consequences of Overfitting: Training Data Inference Attacks. CoRR Samuel Yeom, Matt Fredrikson, Somesh Jha
2016	A	`conf`	A Methodology for Formalizing Model-Inversion Attacks. CSF Xi Wu, Matthew Fredrikson, Somesh Jha, Jeffrey F. Naughton
2016	A*	`conf`	Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis. POPL Damien Octeau, Somesh Jha, Matthew L. Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon
2016	J	`jnl`	Composite Constant Propagation and its Application to Android Program Analysis. IEEE Trans. Software Eng. Damien Octeau, Daniel Luchaup, Somesh Jha, Patrick D. McDaniel
2016	J	`jnl`	Differentially Private Stochastic Gradient Descent for in-RDBMS Analytics. CoRR Xi Wu, Arun Kumar, Kamalika Chaudhuri, Somesh Jha, Jeffrey F. Naughton
2016	A*	`conf`	Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks. IEEE Symposium on Security and Privacy Nicolas Papernot, Patrick D. McDaniel, Xi Wu, Somesh Jha, Ananthram Swami
2016	J	`jnl`	Practical Black-Box Attacks against Deep Learning Systems using Adversarial Examples. CoRR Nicolas Papernot, Patrick D. McDaniel, Ian J. Goodfellow, Somesh Jha, Z. Berkay Celik, Ananthram Swami
2016	A*	`conf`	Practical DIFC Enforcement on Android. USENIX Security Symposium Adwait Nadkarni, Benjamin Andow, William Enck, Somesh Jha
2016	A	`conf`	The Limitations of Deep Learning in Adversarial Settings. EuroS&P Nicolas Papernot, Patrick D. McDaniel, Somesh Jha, Matt Fredrikson, Z. Berkay Celik, Ananthram Swami
2016	J	`jnl`	Towards Least Privilege Containers with Cimplifier. CoRR Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, Patrick D. McDaniel
2015	—	`conf`	Composite Constant Propagation: Application to Android Inter-Component Communication Analysis. ICSE (1) Damien Octeau, Daniel Luchaup, Matthew L. Dering, Somesh Jha, Patrick D. McDaniel
2015	J	`jnl`	Distillation as a Defense to Adversarial Perturbations against Deep Neural Networks. CoRR Nicolas Papernot, Patrick D. McDaniel, Xi Wu, Somesh Jha, Ananthram Swami
2015	A*	`conf`	Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures. CCS Matt Fredrikson, Somesh Jha, Thomas Ristenpart
2015	J	`jnl`	Revisiting Differentially Private Regression: Lessons From Learning Theory and their Consequences. CoRR Xi Wu, Matthew Fredrikson, Wentao Wu, Somesh Jha, Jeffrey F. Naughton
2015	J	`jnl`	The Limitations of Deep Learning in Adversarial Settings. CoRR Nicolas Papernot, Patrick D. McDaniel, Somesh Jha, Matt Fredrikson, Z. Berkay Celik, Ananthram Swami
2014	A*	`conf`	Beyond Pattern Matching: A Concurrency Model for Stateful Deep Packet Inspection. CCS Lorenzo De Carli, Robin Sommer, Somesh Jha
2014	A*	`conf`	Deep packet inspection with DFA-trees and parametrized language overapproximation. INFOCOM Daniel Luchaup, Lorenzo De Carli, Somesh Jha, Eric Bach
2014	—	`conf`	Efficient runtime-enforcement techniques for policy weaving. SIGSOFT FSE Richard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy
2014	A*	`conf`	Formatted Encryption Beyond Regular Languages. CCS Daniel Luchaup, Thomas Shrimpton, Thomas Ristenpart, Somesh Jha
2014	A*	`conf`	LibFTE: A Toolkit for Constructing Practical, Format-Abiding Encryption Schemes. USENIX Security Symposium Daniel Luchaup, Kevin P. Dyer, Somesh Jha, Thomas Ristenpart, Thomas Shrimpton
2014	A*	`conf`	Privacy in Pharmacogenetics: An End-to-End Case Study of Personalized Warfarin Dosing. USENIX Security Symposium Matthew Fredrikson, Eric Lantz, Somesh Jha, Simon M. Lin, David Page, Thomas Ristenpart
2014	—	`conf`	Satisfiability modulo counting: a new approach for analyzing privacy properties. CSL-LICS Matthew Fredrikson, Somesh Jha
2013	A*	`conf`	Declarative, Temporal, and Practical Programming with Capabilities. IEEE Symposium on Security and Privacy William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson
2013	A*	`conf`	Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis. USENIX Security Symposium Damien Octeau, Patrick D. McDaniel, Somesh Jha, Alexandre Bartel, Eric Bodden, Jacques Klein, Yves Le Traon
2013	A*	`conf`	FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution. USENIX Security Symposium Drew Davidson, Benjamin Moench, Thomas Ristenpart, Somesh Jha
2013	J	`jnl`	Secure computations on non-integer values with applications to privacy-preserving sequence analysis. Inf. Secur. Tech. Rep. Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder
2013	B	`conf`	Secure programs via game-based synthesis. FMCAD Somesh Jha, Thomas W. Reps, William R. Harris
2013	A	`conf`	Security challenges in automotive hardware/software architecture design. DATE Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty
2013	—	`conf`	Synthesizing near-optimal malware specifications from suspicious behaviors. MALWARE Somesh Jha, Matthew Fredrikson, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
2013	A*	`conf`	Validating Library Usage Interactively. CAV William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha
2012	A*	`conf`	CrowdMine: towards crowdsourced human-assisted verification. DAC Wenchao Li, Sanjit A. Seshia, Somesh Jha
2012	A*	`conf`	Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. CAV Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran
2012	J	`jnl`	Guest Editorial: Special Issue on Computer and Communications Security. ACM Trans. Inf. Syst. Secur. Paul F. Syverson, Somesh Jha
2012	—	`conf`	Retargeting Android applications to Java bytecode. SIGSOFT FSE Damien Octeau, Somesh Jha, Patrick D. McDaniel
2012	A*	`conf`	Secure Programming via Visibly Pushdown Safety Games. CAV William R. Harris, Somesh Jha, Thomas W. Reps
2012	A*	`conf`	Static analysis and compiler design for idempotent processing. PLDI Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha
2011	A	`conf`	Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. CADE Matthew Fredrikson, Mihai Christodorescu, Somesh Jha
2011	—	`ch.`	End-to-End Software Diversification of Internet Services. Moving Target Defense Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin
2011	J	`jnl`	Speculative Parallel Pattern Matching. IEEE Trans. Inf. Forensics Secur. Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha
2011	—	`conf`	Towards Secure Bioinformatics Services (Short Paper). Financial Cryptography Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder
2010	—	`ch.`	A Declarative Framework for Intrusion Analysis. Cyber Situational Awareness Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha
2010	—	`book`	Analysis Techniques for Information Security Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps
2010	A*	`conf`	Automatic Generation of Remediation Procedures for Malware Infections. USENIX Security Symposium Roberto Paleari, Lorenzo Martignoni, Emanuele Passerini, Drew Davidson, Matt Fredrikson, Jonathon T. Giffin, Somesh Jha
2010	A	`conf`	Automating Security Mediation Placement. ESOP Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
2010	—	`ch.`	Cyber SA: Situational Awareness for Cyber Defense. Cyber Situational Awareness Paul Barford, Marc Dacier, Thomas G. Dietterich, Matt Fredrikson, Jonathon T. Giffin, Sushil Jajodia, Somesh Jha, Jason H. Li, Peng Liu, Peng Ning, Xinming Ou, Dawn Song, Laura Strater, Vipin Swarup, George P. Tadda, C. Wang, John Yen
2010	A*	`conf`	DIFC programs by automatic instrumentation. CCS William R. Harris, Somesh Jha, Thomas W. Reps
2010	B	`conf`	Design and implementation of the PLUG architecture for programmable and efficient network lookups. PACT Amit Kumar, Lorenzo De Carli, Sung Jin Kim, Marc de Kruijf, Karthikeyan Sankaralingam, Cristian Estan, Somesh Jha
2010	Misc	`ed.`	Information Systems Security - 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings ICISS Somesh Jha, Anish Mathuria
2010	A	`ed.`	Recent Advances in Intrusion Detection, 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings RAID Somesh Jha, Robin Sommer, Christian Kreibich
2010	A*	`conf`	Retrofitting Legacy Code for Security. CAV Somesh Jha
2010	J	`jnl`	Secure Computations on Non-Integer Values. IACR Cryptol. ePrint Arch. Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder
2010	—	`conf`	Secure computations on non-integer values. WIFS Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder
2010	J	`jnl`	Semantic integrity in large-scale online simulations. ACM Trans. Internet Techn. Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
2010	A*	`conf`	Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. IEEE Symposium on Security and Privacy Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
2009	A	`conf`	Multi-byte Regular Expression Matching with Speculation. RAID Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha
2009	A*	`ed.`	Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009 CCS Ehab Al-Shaer, Somesh Jha, Angelos D. Keromytis
2009	A	`conf`	Protocol Normalization Using Attribute Grammars. ESORICS Drew Davidson, Randy Smith, Nic Doyle, Somesh Jha
2009	A	`ed.`	Recent Advances in Intrusion Detection, 12th International Symposium, RAID 2009, Saint-Malo, France, September 23-25, 2009. Proceedings RAID Engin Kirda, Somesh Jha, Davide Balzarotti
2009	B	`conf`	Verifying Information Flow Control over Unbounded Processes. FM William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps
2008	A	`conf`	A Layered Architecture for Detecting Malicious Behaviors. RAID Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell
2008	J	`jnl`	A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
2008	A*	`conf`	Deflating the big bang: fast and scalable deep packet inspection with extended finite automata. SIGCOMM Randy Smith, Cristian Estan, Somesh Jha, Shijin Kong
2008	—	`conf`	Effective blame for information-flow violations. SIGSOFT FSE Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
2008	Misc	`conf`	Fast Signature Matching Using Extended Finite Automaton (XFA). ICISS Randy Smith, Cristian Estan, Somesh Jha, Ida Sri Rejeki Siahaan
2008	—	`conf`	Mining specifications of malicious behavior. ISEC Mihai Christodorescu, Somesh Jha, Christopher Kruegel
2008	A*	`ed.`	Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008 CCS Peng Ning, Paul F. Syverson, Somesh Jha
2008	A*	`conf`	The design and implementation of microdrivers. ASPLOS Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha
2008	J	`jnl`	Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures. IEEE Trans. Dependable Secur. Comput. David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha
2008	J	`jnl`	Towards Formal Verification of Role-Based Access Control Policies. IEEE Trans. Dependable Secur. Comput. Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough
2008	A*	`conf`	Towards Practical Privacy for Genomic Computation. SP Somesh Jha, Louis Kruger, Vitaly Shmatikov
2008	A*	`conf`	XFA: Faster Signature Matching with Extended Automata. SP Randy Smith, Cristian Estan, Somesh Jha
2007	A*	`conf`	A semantics-based approach to malware detection. POPL Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
2007	A	`conf`	Creating Vulnerability Signatures Using Weakest Preconditions. CSF David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song
2007	—	`conf`	Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. S&P Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
2007	J	`jnl`	Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IACR Cryptol. ePrint Arch. Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
2007	—	`book`	Malware Detection Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang
2007	A	`conf`	Microdrivers: A New Architecture for Device Drivers. HotOS Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha
2007	A*	`conf`	Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis. ICSE Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha
2007	—	`conf`	Mining specifications of malicious behavior. ESEC/SIGSOFT FSE Mihai Christodorescu, Somesh Jha, Christopher Kruegel
2007	A	`conf`	OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. ACSAC Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha
2007	J	`jnl`	Software transformations to improve malware detection. J. Comput. Virol. Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith
2006	A	`conf`	Automated Discovery of Mimicry Attacks. RAID Jonathon T. Giffin, Somesh Jha, Barton P. Miller
2006	A	`conf`	Backtracking Algorithmic Complexity Attacks against a NIDS. ACSAC Randy Smith, Cristian Estan, Somesh Jha
2006	A	`conf`	NetSpy: Automatic Generation of Spyware Signatures for NIDS. ACSAC Hao Wang, Somesh Jha, Vinod Ganapathy
2006	—	`conf`	On the Completeness of Attack Mutation Algorithms. CSFW Shai Rubin, Somesh Jha, Barton P. Miller
2006	A*	`conf`	Protomatching network traffic for high throughputnetwork intrusion detection. CCS Shai Rubin, Somesh Jha, Barton P. Miller
2006	A	`conf`	Reducing the Dependence of SPKI/SDSI on PKI. ESORICS Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine
2006	—	`conf`	Retrofitting Legacy Code for Authorization Policy Enforcement. S&P Vinod Ganapathy, Trent Jaeger, Somesh Jha
2006	A*	`conf`	Secure function evaluation with ordered binary decision diagrams. CCS Louis Kruger, Somesh Jha, Eu-Jin Goh, Dan Boneh
2006	—	`conf`	Towards Automatic Generation of Vulnerability-Based Signatures. S&P David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha
2006	A	`conf`	Weighted Pushdown Systems and Trust-Management Systems. TACAS Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps
2005	A	`conf`	A Logic of File Systems. FAST Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha
2005	A*	`conf`	An Architecture for Generating Semantic Aware Signatures. USENIX Security Symposium Vinod Yegneswaran, Jonathon T. Giffin, Paul Barford, Somesh Jha
2005	J	`jnl`	An Iterative Framework for Simulation Conformance. J. Log. Comput. Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
2005	A*	`conf`	Automatic discovery of API-level exploits. ICSE Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant
2005	A*	`conf`	Automatic placement of authorization hooks in the linux security modules framework. CCS Vinod Ganapathy, Trent Jaeger, Somesh Jha
2005	A	`conf`	Environment-Sensitive Intrusion Detection. RAID Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, Barton P. Miller
2005	—	`conf`	Language-Based Generation and Evaluation of NIDS Signatures. S&P Shai Rubin, Somesh Jha, Barton P. Miller
2005	A	`conf`	Privacy Preserving Clustering. ESORICS Somesh Jha, Louis Kruger, Patrick D. McDaniel
2005	—	`conf`	Semantics-Aware Malware Detection. S&P Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant
2005	J	`jnl`	Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski
2004	A	`conf`	Automatic Generation and Analysis of NIDS Attacks. ACSAC Shai Rubin, Somesh Jha, Barton P. Miller
2004	A*	`conf`	Efficient Context-Sensitive Intrusion Detection. NDSS Jonathon T. Giffin, Somesh Jha, Barton P. Miller
2004	—	`conf`	Formalizing Sensitivity in Static Analysis for Intrusion Detection. S&P Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller
2004	A*	`conf`	Global Intrusion Detection in the DOMINO Overlay System. NDSS Vinod Yegneswaran, Paul Barford, Somesh Jha
2004	J	`jnl`	Model checking SPKI/SDSI. J. Comput. Secur. Somesh Jha, Thomas W. Reps
2004	J	`jnl`	Modular Verification of Software Components in C. IEEE Trans. Software Eng. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
2004	—	`conf`	Security Policy Reconciliation in Distributed Computing Environments. POLICY Hao Wang, Somesh Jha, Miron Livny, Patrick D. McDaniel
2004	A	`conf`	Testing malware detectors. ISSTA Mihai Christodorescu, Somesh Jha
2003	A*	`conf`	Buffer overrun detection using linear programming and static analysis. CCS Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek
2003	J	`jnl`	Counterexample-guided abstraction refinement for symbolic model checking. J. ACM Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
2003	J	`jnl`	Efficient verification of security protocols using partial-order reductions. Int. J. Softw. Tools Technol. Transf. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
2003	C	`conf`	Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith
2003	A*	`conf`	Modular Verification of Software Components in C. ICSE Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
2003	—	`conf`	On Generalized Authorization Problems. CSFW Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine
2003	A*	`conf`	Static Analysis of Executables to Detect Malicious Patterns. USENIX Security Symposium Mihai Christodorescu, Somesh Jha
2003	B	`conf`	Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. SAS Thomas W. Reps, Stefan Schwoon, Somesh Jha
2002	—	`conf`	Analysis of SPKI/SDSI Certificates Using Model Checking. CSFW Somesh Jha, Thomas W. Reps
2002	—	`conf`	Automated Generation and Analysis of Attack Graphs. S&P Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing
2002	A*	`conf`	Detecting Manipulated Remote Call Streams. USENIX Security Symposium Jonathon T. Giffin, Somesh Jha, Barton P. Miller
2002	B	`conf`	Efficient Type Matching. FoSSaCS Somesh Jha, Jens Palsberg, Tian Zhao
2002	A*	`conf`	Tree-Like Counterexamples in Model Checking. LICS Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith
2002	—	`conf`	Two Formal Analys s of Attack Graphs. CSFW Somesh Jha, Oleg Sheyner, Jeannette M. Wing
2001	A*	`conf`	Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
2001	—	`conf`	Markov Chains, Classifiers, and Intrusion Detection. CSFW Somesh Jha, Kymie M. C. Tan, Roy A. Maxion
2001	A	`conf`	Non-linear Quantification Scheduling in Image Computation. ICCAD Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
2001	Misc	`conf`	Progress on the State Explosion Problem in Model Checking. Informatics Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
2001	A*	`conf`	Survivability Analysis of Network Systems. ICSE Somesh Jha, Jeannette M. Wing
2001	—	`conf`	Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
2000	A*	`conf`	Counterexample-Guided Abstraction Refinement. CAV Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
2000	—	`conf`	Model checking algorithms for the µ-calculus. Proof, Language, and Interaction Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero
2000	A	`conf`	Partial Order Reductions for Security Protocol Verification. TACAS Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
2000	A	`conf`	Survivability Analysis of Network Specifications. DSN Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
2000	J	`jnl`	Verifying security protocols with Brutus. ACM Trans. Softw. Eng. Methodol. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
1999	—	`conf`	Abstract BDDs: A Technique for Using Abstraction in Model Checking. CHARME Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang
1999	J	`jnl`	Approximate Option Pricing. Algorithmica Prasad Chalasani, Somesh Jha, Isaac Saias
1999	Misc	`conf`	Generalized Stuttering Equivalence. PDPTA Somesh Jha, Doron A. Peled
1998	—	`conf`	A Formal Treatment of Distributed Matchmaking. Agents Somesh Jha, Prasad Chalasani, Onn Shehory, Katia P. Sycara
1998	—	`conf`	Agent Cloning. ICMAS Onn Shehory, Katia P. Sycara, Prasad Chalasani, Somesh Jha
1998	J	`jnl`	Agent cloning: an approach to agent mobility and resource allocation. IEEE Commun. Mag. Onn Shehory, Katia P. Sycara, Prasad Chalasani, Somesh Jha
1998	—	`conf`	Increasing Resource Utilization and Task Performance by Agent Cloning. ATAL Onn Shehory, Katia P. Sycara, Prasad Chalasani, Somesh Jha
1998	J	`jnl`	Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. ACM Trans. Program. Lang. Syst. Daniel Jackson, Somesh Jha, Craig Damon
1998	—	`conf`	Query Restart Strategies for Web Agent. Agents Prasad Chalasani, Somesh Jha, Onn Shehory, Katia P. Sycara
1998	—	`conf`	Reasoning about Implicit Invocation. SIGSOFT FSE David Garlan, Somesh Jha, David Notkin
1998	—	`conf`	Strategies for Querying Information Agents. CIA Prasad Chalasani, Somesh Jha, Onn Shehory, Katia P. Sycara
1998	A*	`conf`	Symmetry Reductions in Model Checking. CAV Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla
1998	J	`jnl`	Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. Jürgen Dingel, David Garlan, Somesh Jha, David Notkin
1998	—	`conf`	Using state space exploration and a natural deduction style message derivation engine to verify security protocols. PROCOMET Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
1997	J	`jnl`	An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theor. Comput. Sci. Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero
1997	A	`conf`	Combining Partial Order and Symmetry Reductions. TACAS E. Allen Emerson, Somesh Jha, Doron A. Peled
1997	C	`conf`	Equivalence Checking Using Abstract BDDs. ICCD Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke
1997	—	`conf`	Multi-Agent Coordination through Coalition Formation. ATAL Onn Shehory, Katia P. Sycara, Somesh Jha
1997	J	`jnl`	Verifying Parameterized Networks. ACM Trans. Program. Lang. Syst. Edmund M. Clarke, Orna Grumberg, Somesh Jha
1996	A*	`conf`	Approximate Option Pricing. FOCS Prasad Chalasani, Somesh Jha, Isaac Saias
1996	—	`conf`	Checking Relational Specifications With Binary Decision Diagrams. SIGSOFT FSE Craig Damon, Daniel Jackson, Somesh Jha
1996	J	`jnl`	Exploiting Symmetry in Temporal Logic Model Checking. Formal Methods Syst. Des. Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn
1996	A*	`conf`	Faster Checking of Software Specifications by Eliminating Isomorphs. POPL Daniel Jackson, Somesh Jha, Craig Damon
1995	—	`ch.`	Symmetry and Induction in Model Checking. Computer Science Today Edmund M. Clarke, Somesh Jha
1995	J	`jnl`	Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods Syst. Des. Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
1995	B	`conf`	Veryfying Parameterized Networks using Abstraction and Regular Languages. CONCUR Edmund M. Clarke, Orna Grumberg, Somesh Jha
1994	A*	`conf`	An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
1993	A*	`conf`	Exploiting Symmetry In Temporal Logic Model Checking. CAV Edmund M. Clarke, Thomas Filkorn, Somesh Jha
1993	—	`conf`	Verification of the Futurebus+ Cache Coherence Protocol. CHDL Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
1992	J	`jnl`	Complexity of uniqueness and local search in quadratic 0-1 programming. Oper. Res. Lett. Panos M. Pardalos, Somesh Jha