Scholar
Somesh Jha
Google Scholar ID: BaI7l8QAAAAJ
Lubar Chair of Computer Science, University of Wisconsin
Trustworthy Machine Learning
Security
Formal methods
Programming Languages
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
29,539
H-index
62
i10-index
170
Publications
20
Co-authors
85
list available
Publications
33 items
Secure-CUA: Controlling Untrusted Influence in Computer-Use Agents
2026
Cited
0
Beyond Predictable Paths: Redefining AI Security Incident Reporting for Agents
2026
Cited
0
Differentially Private Paired Table-Image Multimodal Synthesis
2026
Cited
0
Rising From the Ashes: How Agentic AI is Unblocking Challenges in Cybersecurity
2026
Cited
0
Efficient and Sound Probabilistic Verification for AI Agents
2026
Cited
0
Confused ChatGPT: Cross-App Context Poisoning via First-Party APIs
2026
Cited
0
Agent Security is a Systems Problem
2026
Cited
0
Verifier-Guided Code Translation via Meta-Step Decoding
2026
Cited
0
Load more
Co-authors
15 total
Patrick McDaniel
Tsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-Madison
Matt Fredrikson
Carnegie Mellon University
Mihai Christodorescu
Google
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Orna Grumberg
Professor of Computer Science, Technion
Thomas Ristenpart
Professor of Computer Science, Cornell Tech
Vinod Yegneswaran
Principal Computer Scientist, SRI International
Dawn Song
Professor of Computer Science, UC Berkeley
