I’m a first-year CS Ph.D. student at MIT PDOS, advised by Frans Kaashoek and Nickolai Zeldovich, and supported by an NSF GRFP fellowship. I enjoy hacking on big computer systems, especially when that results in increased security, reliability, and correctness. Recently, I’ve been excited about the use of formal verification to guarantee such properties.
Prior to MIT, I was a Turing Scholar honors computer science undergraduate at UT Austin, advised by Hovav Shacham. Before that, I spent three years in the MIT PRIMES program, working with Srini Devadas and Aleksander Mądry.
- Formal verification of the Linux Kernel eBPF verifier range analysisUsenix Symposium on Operating Systems Design and Implementation (OSDI) poster session. Jul 2022
- Var-CNN: a data-efficient website fingerprinting attack based on deep learningPrivacy Enhancing Technology Symposium (PETS). Jun 2019
- Tech ReportTowards efficient methods for training robust deep neural networksRegeneron Science Talent Search (STS). Feb 2019
- DynaFlow: an efficient website fingerprinting defense based on dynamically-adjusting flowsACM CCS Workshop on Privacy in the Electronic Society (WPES). Oct 2018