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. Professional project @ Georgia Institute of Technology 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. Professional project @ Georgia Institute of Technology 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. Professional project @ Georgia Institute of Technology