Projects
Current Projects
PRAT: Protocol Representation and Analysis Toolkit
A differential coverage toolkit for finding feature-specific code in C/C++/Rust projects by comparing feature-on and feature-off builds.
Wasm-V: Program Analysis for WebAssembly Binaries — Northeastern University
A WebAssembly analysis and verification tool for reasoning about Wasm modules, with an emphasis on security, correctness, and practical binary-level workflows.
Synthesizing Microarchitectural Leakage Contracts from Counterexamples — IMDEA Software Institute
Methods for synthesizing formal leakage contracts from counterexamples, with applications to microarchitectural side-channel analysis and secure software verification.
Other Projects
Quantitative Analysis & Interactive Notebooks
A small collection of notebooks and tools for exploratory modeling, forecasting, and analytics in Julia and Python.
Beyond the Kernel: High-Performance Networking
Technical writing on high-performance networking, kernel bypass, and low-latency systems, including Rust-centric systems work.