Reshabh K. Sharma

According to our database, Reshabh K. Sharma authored at least 10 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents.

Reshabh K. Sharma, Gaurav Mittal, Yu Hu

CoRR, May, 2026

AC4A: Access Control for Agents.

Reshabh K. Sharma, Dan Grossman

CoRR, March, 2026

PAuth - Precise Task-Scoped Authorization For Agents.

Reshabh K. Sharma, Linxi Jiang, Zhiqiang Lin, Shuo Chen

CoRR, March, 2026

ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files.

Reshabh K. Sharma

CoRR, March, 2026

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels.

Reshabh K. Sharma, Dan Grossman, David Kohlbrenner

CoRR, January, 2026

Willful Disobedience: Automatically Detecting Failures in Agentic Traces.

Reshabh K. Sharma, Shraddha Barke, Benjamin Zorn

Proceedings of the ACM Conference on AI and Agentic Systems, 2026

2025

PromptPex: Automatic Test Generation for Language Model Prompts.

Reshabh K. Sharma, Jonathan de Halleux, Shraddha Barke, Ben Zorn

CoRR, March, 2025

2024

SPML: A DSL for Defending Language Models Against Prompt Attacks.

Reshabh K. Sharma, Vinayak Gupta, Dan Grossman

CoRR, 2024

Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications.

Reshabh K. Sharma, Vinayak Gupta, Dan Grossman

Proceedings of the IEEE Security and Privacy, 2024

Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations.

Michael Flanders, Reshabh K. Sharma, Alexandra E. Michael, Dan Grossman, David Kohlbrenner

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024