Sanjay's Research Home

Security researcher focused on binary vulnerability analysis, fuzzing, and automated program analysis. I build tools that bridge static analysis, dynamic analysis, and LLM-assisted reasoning.

Current interests: binary analysis with LLM agents, datalog-based vulnerability analysis, and coverage-guided fuzzing for real-world targets.