Chad Spensky

Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware

Nilo Redini, Aravind Machiry, Ruoyu Wang et al. · 2020 · 115 citations · Full text

Engineering, Information Security, Embedded Firmware +19

BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments

Aravind Machiry, Eric Gustafson, Chad Spensky et al. · 2017 · 95 citations · Full text

PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary

Dokyung Song, Felicitas Hetzelt, Dipanjan Das et al. · 2019 · 87 citations · Full text

{DR}. {CHECKER}: A Soundy Analysis for Linux Kernel Drivers

Aravind Machiry, Chad Spensky, Jake Corina et al. · USENIX Security Symposium · 2017 · 64 citations

Engineering, Operating Systems, Runtime Verification +9

Toward the Analysis of Embedded Firmware through Automated Re-hosting

Eric Gustafson, Marius Muench, Chad Spensky et al. · eScholarship (California Digital Library) · 2019 · 60 citations · Full text

Software Maintenance, Translation Studies, Literary Theory +19