Writing
notes(in progress), research, and writing published elsewhere.
Testing Certificate Authorities: An Empirical Study and Stateful Fuzzing Approach
Assuring Trusted Computing Bases through Automated Reduction and Validation
Oregon State University
In Pursuit of Lean OS Kernels: Improving Configuration-Based Debloating
Annual Computer Security Applications Conference (ACSAC)
Program ACSAC 2025
linux-ql
CodeQL experiments for analyzing the Linux kernel.
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
SENSOR: Graph-Based Revision History Analysis for Code Evolution Introspection
Program DARPA SocialCyber
SRI International research internship (2022). The linked code and demo are a best-effort reproduction, not the original project artifacts.
UAS Cyber Security and Safety Literature Review
Funded by FAA through ASSURE A38
Contributed under Rakesh B. Bobba.
MultiK: A Framework for Orchestrating Multiple Specialized Kernels
Balancing Image Privacy and Usability with Thumbnail-Preserving Encryption
Network and Distributed System Security Symposium (NDSS)
Program NDSS 2019