Research
My research spans software, systems and supply chain security, program analysis, and applied cryptography, with applications across operating systems, control systems, unmanned aerial vehicles, and privacy-preserving technologies.
I have conducted research at:
- Oregon State University (PhD research in systems security)
- SRI International (research internship on open-source software supply chain security)
- PARC (Palo Alto Research Center) (research internship on cyber-physical systems security)
You can also find my full publication record on: Google Scholar, DBLP, ORCID.
Operating Systems & Kernel Security
Software Supply Chain Security
- SENSOR: Graph based Revision History Analysis for Code Evolution Introspection a DARPA SocialCyber project.
Network Security & PKI
Cyber-Physical Systems & UAV Security
- Cyber Security Guidance on Drones and Swarms for the FAA
- ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs
- CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries