Papers
- 2023
SecureCells: A Secure Compartmentalized Architecture
IEEE S&P '23 - 2022
Midas: Systematic Kernel TOCTTOU Protection
USENIX Security '22 - 2021
Rebooting Virtual Memory with Midgard
ISCA '21 - 2020
SpecROP: Speculative Exploitation of ROP Chains
RAID '20 - 2019
SMoTherSpectre: Exploiting speculative execution through port contention
CCS '19