Reverse Engineering, Security Engineering, and Software Development.
• Implemented and utilized program analysis techniques such as taint propagation, code and branch coverage, symbolic execution, and satisfiability (SMT-Lib) solving to analyze software for the purpose of reverse engineering.
• Reverse engineered proprietary software implementations back to high-level representations (C/C++).
• Lead several small (5-10) teams of researchers with weekly, monthly, and quarterly reporting.
• Created training materials focusing on teaching reverse engineering.