A graduate student focusing on the detection of anomalous devices in noisy environments, programming languages, automated firmware analysis, and empirical security.
Please Pay Inside (2019)
FairNIC: SmartNIC Performance Isolation (2020)
Lazy Counterfactual Symbolic Execution (2019)
Pestilential Protocol (2018)