C.SPENSKY
Home
Publications
Talks
Projects
CV
Giovanni Vigna
Latest
KARONTE: Detecting Insecure Multi-binary Interactions in Embedded Firmware
Toward the Analysis of Embedded Firmware through Automated Re-hosting
PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary
DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments
Cite
×