Projects

Below are a few representative projects. Each write-up includes the goal, approach, and outcome.

VeriMarc Attestation Microservice

A containerized Go microservice for CAMA Security’s VeriMarc platform, guaranteeing reliable, ordered message delivery to embedded devices over intermittent connectivity.

AISAI: Automated Identification of Software Supply Chain Vulnerability

Researching static-analysis + LLM-assisted detection of Python supply chain vulnerabilities; benchmarking effectiveness across models.

Malicious Python Package Detector

Dash-Cytoscape interface with LangChain, Ollama, and Bandit, paired with scikit-learn Random Forests to flag malicious Python code.