Projects
Open-source
- high-assurance-rust
- A free book about developing secure and robust systems software [Software Assurance]
- scapegoat
- Safe, fallible, embedded-friendly ordered set and map data structures [Embedded Development]
- xgadget
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 targets [Binary Exploitation]
Publications
- Efficient JOP Gadget Search (Paged Out! Magazine 2023)
- Can't Spell "Curriculum" Without "C" (Rust Education Workshop 2022)
- SoK: Enabling Security Analyses of Embedded Systems via Rehosting (ACM ASIA CCS 2021)
- PyPANDA: Taming the PANDAmonium of Whole System Dynamic Analysis (NDSS BAR 2021)
Posters
- Firmware Security on Commodity Hardware: 2017 MITRE Embedded CTF (RSA 2018)
- STM-based Introspection: A Platform for Analysis of Low-level Security Solutions (CCD 2017)
- Symbolic Execution for Vulnerability Discovery: Evaluating and Extending the Manticore Platform (CCD 2017)