AG
posts
about
🕶️
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
A Research Internship at SRI →
Sep 15, 2022
#research
#internship
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
A Research Internship at PARC →
Sep 15, 2021
#research
#internship
Whole Kernel Bitcode
Jun 01, 2021
#project
Considering Grad Student?
Apr 01, 2021
#writing
MultiK: A Framework for Orchestrating Specialized Kernels
Sep 01, 2020
#research
On Asking Questions
Jul 01, 2020
#writing
Security, but with xkcd
Feb 02, 2020
#writing
Older →
