I'm a Research Scientist in the Security and Privacy Research group at Intel Labs. I currently also serve on the Technical Advisory Council of the OpenSSF.
I broadly work on building trustworthy distributed systems, where I apply techniques from operating systems, networks, cryptography and hardware-based security to improve the auditability and security of deployed large-scale systems. I'm also a firm believer in highly collaborative, open projects and in faciliating practical adoption of my research.
My current work centers on verifiable attribute assertions for software and trusted execution environments, as well as auditing of CI/CD systems. My research on CONIKS, a key transparency system that makes the issuance of secure messaging encryption keys cryptographically auditable, is used in production including by Meta and Apple in their messaging apps.
Prior to joining Intel, I received my PhD in Computer Science from Princeton
University where I developed novel techniques for fine-grained run-time access control and
compartmentalization of application- and OS-level components, advised by
Mike Freedman in the
S* Network Systems Group. I also
had the pleasure of collaborating closely with
Ed Felten
on my Master's thesis. I received my B.S. in Computer Science, with a second Major in
French and Francophone Studies and a Minor in Physics from
Hobart and William Smith Colleges.