16 citations · 37 across the 11 of their papers we have counts for
3 papers · 1 filter
Silhouette: Efficient Protected Shadow Stacks for Embedded Systems
Jie Zhou, Yufei Du, Zhuojia Shen +3
Microcontroller-based embedded systems are increasingly used for applications that can have serious and immediate consequences if compromised---including automobile control systems…
Restricting Control Flow During Speculative Execution with Venkman
Zhuojia Shen, Jie Zhou, Divya Ojha +1
Side-channel attacks such as Spectre that utilize speculative execution to steal application secrets pose a significant threat to modern computing systems. While program transforma…
Fast Intra-kernel Isolation and Security with IskiOS
Spyridoula Gravani, Mohammad Hedayati, John Criswell +1
The kernels of operating systems such as Windows, Linux, and MacOS are vulnerable to control-flow hijacking. Defenses exist, but many require efficient intra-address-space isolatio…