Research

I'm advised by and Dr. Rakesh Bobba and Dr. Yeongjin Jang. My thesis tackles the increasing bloat in software systems and the security risks it introduces. I'm especially proud of my contributions to minimizing bloat in the Linux kernel.

CAFuzz: A State Coverage Guided Fuzzer for Certificate Authorities

In Pursuit of Lean OS Kernels

ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs

SENSOR: Graph based Revision History Analysis for Code Evolution Introspection

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems

MultiK: A framework for Orchestrating Specialized Kernels

Balancing Image Privacy and Usability with Thumbnail-Preserving Encryption