Somesh Jha
Scholar

Somesh Jha

Google Scholar ID: BaI7l8QAAAAJ
Lubar Chair of Computer Science, University of Wisconsin
Trustworthy Machine LearningSecurityFormal methodsProgramming Languages
Google Scholar↗
Citations & Impact
All-time
Citations
29,539
 
H-index
62
 
i10-index
170
 
Publications
20
 
Co-authors
85
list available
Contact
No contact links provided.
Publications
27 items
Agent Security is a Systems Problem
2026
Cited
0
Verifier-Guided Code Translation via Meta-Step Decoding
2026
Cited
0
Undetectable Backdoors in Model Parameters: Hiding Sparse Secrets in High Dimensions
2026
Cited
0
Dependency-Aware Privacy for Multi-turn Agents
2026
Cited
0
PolicyBank: Evolving Policy Understanding for LLM Agents
2026
Cited
0
Policy Compiler for Secure Agentic Systems
2026
Cited
0
Auto-SPT: Automating Semantic Preserving Transformations for Code
2025
Cited
0
Systems Security Foundations for Agentic Computing
2025
Cited
0
Resume (English only)
Co-authors
85 total
Patrick McDaniel
Patrick McDaniel
Tsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-Madison
Matt Fredrikson
Matt Fredrikson
Carnegie Mellon University
Mihai Christodorescu
Mihai Christodorescu
Google
Co-author 4
Co-author 4
Thomas Reps
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8