Programs & Projects

AFX20 — Principal Investigator

I lead development of advanced firmware-analysis capabilities integrating static analysis, dynamic instrumentation, rehosting, and AI/LLM-driven reasoning. This effort establishes an automated pipeline for interaction-policy generation, vulnerability exploration, and scalable firmware triage across diverse architectures.

FBME (FABLE Pipeline) — Principal Investigator

I direct the full lifecycle of the FABLE discovery pipeline, supporting ML-based component discovery, vector matching, cross-firmware capability mapping, and automated reporting. This includes the design and integration of modules such as matching engines, strings/statistical analysis, capability inference, and multi-container orchestration.

REAFFIRM — Technical Lead

I led a complete architectural redesign of REAFFIRM into a modern, modular FastAPI/Postgres system with full containerization. This new architecture supports AI-assisted analysis, automated SBOM/FBOM generation, rapid component extraction, and seamless integration into larger workflows.

Proteus — Technical Lead

I oversaw major advances in Proteus including Windows/Linux hybrid support, a fully redesigned WebUI, improved peripheral modeling, and optimized memory and performance behavior. Proteus now serves as a demonstration-ready rehosting UI for partners across government and industry.

HALucinator — Technical Lead

Contributing to the evolution of HALucinator as a high-fidelity digital twin and rehosting platform, I help integrate firmware execution, peripheral simulation, and modular runtime behavior. This includes cross-tool alignment with REAFFIRM and Proteus for unified analysis workflows.

FABLE Ecosystem Tools

I contribute to the architecture and development of supporting tools for large-scale firmware analysis, including ML-based matching components, containerized orchestration systems, and analysis pipelines for discovery, similarity, and automated reporting.