# research

CAFuzz: A State Coverage Guided Fuzzer for CA Protocols

Feb 01, 2025 #research

ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs

Oct 01, 2024 #research

In Pursuit of Lean OS Kernels

Sep 01, 2024 #research

SENSOR: Graph based Revision History Analysis for Code Evolution Introspection

Sep 15, 2022 #research #internship

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

Sep 15, 2021 #research #internship

MultiK: A Framework for Orchestrating Specialized Kernels

Sep 01, 2020 #research

Balancing Image Privacy and Usability with Thumbnail-Preserving Encryption

Jul 01, 2019 #research