C.SPENSKY
Home
Publications
Talks
Projects
CV
Aravind Machiry
Latest
KARONTE: Detecting Insecure Multi-binary Interactions in Embedded Firmware
Toward the Analysis of Embedded Firmware through Automated Re-hosting
DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments
Cite
×