Our work on Morpheus II, a RISC-V secure processor deployed on AWS F1 FPGAs, has been accepted to HOST'21! Morpheus II was part of the first DARPA bug bounty FETT where hundreds of security researchers found zero vulnerabilties. Building upon Morpheus (ASPLOS19), our system utilizes run-time encryption of code and code pointers to thwart attacks.
Our work on detecting side-and-covert channels in privacy-sensitive applications has been accepted to MICRO'19!
Our joint work with Todd Austin's group at the University of Michigan has been accepted to ASPLOS'19!