C.SPENSKY
Home
Publications
Talks
Projects
CV
Aravind Machiry
Latest
Glitching Demystified: Analyzing Control-flow-based Glitching Attacks and Defenses
Conware: Automated Modeling of Hardware Peripherals
TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems
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
×