About
I’m a senior researcher who recently joined the Security Research Group (opens in new tab) at Microsoft Research Redmond (opens in new tab). My research focuses on improving the security of practical software systems in fundamental ways by exploring the intersection of the fields of Security, Systems, and Programming Languages.
I received my PhD in Computer Science (opens in new tab) from Carnegie Mellon University (opens in new tab). My PhD thesis (opens in new tab) focused on demonstrating that unapologetic security is achievable.
At USENIX Security’22, our paper (opens in new tab) on provably-safe sandboxing using WebAssembly won both a Distinguished Paper Award, and Internet Defense Prize.