Reshabh K Sharma

1. SPML: A DSL for Defending Language Models Against Prompt Attacks
   2024/02/19 by Reshabh K Sharma, Sharma, Reshabh K, Vinayak Gupta +3 · 1 voice · 14 citations
   Computer Science · #Security and Verification in Computing #cs.CL #cs.CR #cs.LG #cs.PL
2. PromptPex: Automatic Test Generation for Language Model Prompts
   2025/03/07 by Reshabh K Sharma, Sharma, Reshabh K, Jonathan De Halleux +6 · 2 voices · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.AI #cs.SE
3. PAuth - Precise Task-Scoped Authorization For Agents
   2026/03/17 by Reshabh K Sharma, Linxi Jiang, Zhiqiang Lin +1 · 1 voice
   Computer Science · #cs.CR #cs.AI #cs.PL
4. AC4A: Access Control for Agents
   2026/03/21 by Reshabh K Sharma, Dan Grossman · 1 voice
   Computer Science · #cs.CR #cs.AI #cs.PL