Get started
Author

Somesh Jha

Observed name: Jha, Somesh
Observed institution: University of Wisconsin–Madison
OpenAlex ID: A5119897565
Beyond Predictable Paths: Redefining AI Security Incident Reporting for Agents
2026 · Pustozerova, Anastasia, Bagdasarian, Eugene, et al. · arXiv (Cornell University)
PDF
Rising From the Ashes: How Agentic AI is Unblocking Challenges in Cybersecurity
2026 · Ciocarlie, Gabriela F., Grosse, Kathrin, et al. · arXiv (Cornell University)
PDF
Efficient and Sound Probabilistic Verification for AI Agents
2026 · Solko-Breslin, Alaia, Mudrakarta, Pramod Kaushik, et al. · arXiv (Cornell University)
PDF
SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
2026 · Association for Computational Linguistics 2026, Chandrasekaran, Varun, et al. · Underline Science Inc.
Agent Security is a Systems Problem
2026 · Christodorescu, Mihai, Fernandes, Earlence, et al. · arXiv (Cornell University)
PDF
Verifiers in the Loop: Decoding Time Verification for Code Translation
2026 · Zhou, Tianyang, Jha, Somesh, et al. · arXiv (Cornell University)
PDF
Dependency-Aware Privacy for Multi-turn LLM Agents
2026 · Anshumaan, Divyam, Choudhary, Sarthak, et al. · arXiv (Cornell University)
PDF
ARMOR: Aligning Secure and Safe Large Language Models via Meticulous Reasoning
2025 · Zhao, Zhengyue, Ma, Yingzi, et al. · arXiv (Cornell University)
PDF
Works count: 8
Citation count:
H-index:
I10-index:
Year
Topic
Type