AIGIS : Algorithmic High-Frequency-Trading, strategy development, evaluation, and execution system. System has been used internally to develop successful ML-based trading strategies for crypto, stock, and energy markets.
ARBI : Ultra-low latency arbitrage trading system primarily for decentralized cryptocurrency exchanges. Utilizes a novel differential graph search algorithm accelerated on FPGAs to identify opportunities before competitors.
DARPA V-SPELLS: Novel firmware analysis, retrofitting, and verification system. I created the binary equivalence verification system and was heavily involved in the lifting and rewriting/patching portions.
VASE CACEE/S2E : Novel malware analysis system for industrial control system malware (primarily focusing on malware that targets electric grids, such as Industroyer). I designed and implemented the analysis system on top of S2E and greatly expanded the system's capabilities to be able to analyze live malware and ICS interactions.
SupplyDrop : Malware analysis system for identifying relations between malware supply-chain attacks in package managers (Python's Pypi, and Node's NPM). I researched, designed, implemented and maintained the system.
SOC2 & HITRUST Certifications : I implemented all technical measures for the certifications including: extensive authentication and logging controls, SIEM, automated code security and quality analysis.
Purple-Team : I performed SIEM monitoring and incident response, implemented new defensive controls, ported and created patches for software with no patch available, and performed periodic penetration testing of systems.
Cloud Infrastructure : I designed, deployed and optimized production AWS infrastructure including: CI/CD pipelines, RDS (PostgreSQL), DynamoDB, Elasticsearch, S3, EC2, ECS, Lambda, IAM, and LDAP deployments.
Scientific Data Analysis Software : I implemented new and ported existing data analysis algorithms to the lab's IGOR Pro data-analysis suite to analyze CD & MS data from biochemistry origins-of-life research.