Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations. - Michael Flanders; Reshabh K. Sharma; Alexandra E. Michael; Dan Grossman; David Kohlbrenner (ASPLOS (2), 2024)

Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications. - Reshabh K. Sharma; Vinayak Gupta; Dan Grossman (SP (Workshops), 2024)

SPML: A DSL for Defending Language Models Against Prompt Attacks. - Reshabh K. Sharma; Vinayak Gupta; Dan Grossman (CoRR, 2024)

PromptPex: Automatic Test Generation for Language Model Prompts. - Reshabh K. Sharma; Jonathan de Halleux; Shraddha Barke; Ben Zorn 001 (CoRR, 2025)