Projects
Bicycle Braking
Developed real-time collision detection using Lucas-Kanade optical flow and integrated GPIO driver for closed-loop braking control.
Systems Measurement Benchmarks
Benchmark suite for CPU, memory, network, and file operations on Ubuntu; implemented in C with TSC timing and lmbench-style methodologies.
LLM Security Framework
Developed LLM-driven framework with XML-based reference monitor to mitigate prompt injection attacks in chatbot agents.
Trellix TLS Analysis
Utilized bpftrace to capture unencrypted TLS traffic for Trellix security monitoring platform; analyzed captured traffic.
KVM Page Eviction
Implemented approximate LRU paging policy to optimize KVM shadow page tables; evaluated with stress-ng and redis-benchmark.
Bloombase
Built web app integrating iNaturalist API with Py4Web backend and Google Maps frontend for biodiversity mapping and visualization.
Type-Based Static Analysis for Access Control in TypeScript
Developed a static application security testing (SAST) system for TypeScript that encodes access control policies directly into the type system to detect authorization bugs at compile time.
LLM GUI Framework
Built a modular GUI framework for interacting with LLM agents, enabling structured tool use, and prompt visualization. Assesed it's usability improvement of user understanding through pilot studies.
