Talk and position paper, PLARCH 2023, Orlando, Florida
I presented our in-progress work on developing an efficient, general Spectre mitigation by engaging in hardware-software co-design. This presentation describes ongoing follow-up work to Serberus, our recently published Spectre mitigation that targets existing Intel hardware.
Talk, Stanford Engineering Computer Forum Security Workshop, Stanford, California
I presented Serberus, our comprehensive Spectre mitigation for constant-time programs that targets existing Intel hardware.
Talk, ISCA 2022, New York City, New York
I presented my Axiomatic Hardware-Software Contracts paper at ISCA’22 in New York. Watch a video of the presentation (youtube) or view the slides (pdf, pptx).
Talk, BSidesLV 2019, Las Vegas, Nevada
ropc is a compiler from Turing-complete ROPC-IR to x86_64 shellcode. ROPC-IR is an assembly-like source language of my own invention. The most distinguishing feature of my compiler is that the shellcode program has access to a 2nd stack, called the shellcode stack. Once you have a shellcode stack, much becomes possible, such as subroutine calls within shellcode as well as library calls that don’t mangle the shellcode on the target stack.