Drew joined NVIDIA's Security and Privacy research team in the summer of 2024 after having received his PhD in Computer Science from Cornell University in 2023. His research focuses on applying programming language design, tools, and techniques to security problems across the hardware—software stack. In particular, he is interested in enabling engineers and designers to build resilient systems whose confidentiality and integrity can be trusted and measured.
Drew's past research has focused on using information flow control (IFC) to provide strong security guarantees for both software and hardware in the face of timing channels and speculative execution. Specifically, his work on SpecVerilog demonstrated how IFC could be used to validate that a speculative processor contained no more timing channels than a sequential one and received a distinguished paper award at CCS '23.
In addition to new research directions, he desires to make IFC and other static analysis tools for hardware and software security practical on enterprise—scale designs.
