Saket Upadhyay (साकेत उपाध्याय)

PhD candidate, University of Virginia

<first_name>[at]virginia[dot]edu

LinkedIn

Google Scholar

ORCID

As a Ph.D. candidate in the University of Virginia’s Computer Science department under Dr. Ashish Venkat, my work centers on exploring low‑level software security through compiler‑based techniques.
My research investigates how compilers can be leveraged to enforce granular security policies and how memory objects influence hardware‑level behavior and system security.

My expertise spans LLVM instrumentation, debuggers, and low‑level programming language constructs, with a focus on using compiler infrastructure to analyze, monitor, and instrument programs, to inform enforcement systems. I also have a strong background in cybersecurity, particularly in threat intelligence, malware analysis, and reverse engineering.

I am committed to academic research and to broadening access to STEM education for people from diverse backgrounds.

Key-Interests:
Compilers (LLVM, middle- and back-end), Low-level software security, Computer architecture.