Security, privacy, and cryptography
Publication
Quarks: Quadruple-efficient transparent zkSNARKs
Project
Project OneFuzz
Transitioned | Project OneFuzz enables continuous developer-driven fuzzing to proactively harden software prior to release. With a single command, which can be baked into CICD, developers can launch fuzz jobs from a few virtual machines…
Video
Podcast: Making cryptography accessible, efficient, and scalable
Episode 005 | September 08, 2020 Ensuring security and privacy of data, both personal and institutional, is of paramount importance in today’s world where data itself is a highly precious commodity. Cryptography is a complex…
Group
New Security Ventures
The mission of the New Security Ventures (NSV) team is to empower defenders with next-generation security technologies — transforming research technologies into open source projects and prototypes to increase the trustworthiness of the world’s code…
Project
Project Freta
Project Freta is a free, cloud-based offering from the New Security Ventures (NSV) team at Microsoft Research that provides automated full-system volatile memory inspection of Linux systems.
Video
Programming with Proofs for High-assurance Software
Programming critical systems with proofs, a long-standing goal of computer science, is beginning to come within reach of modern programming languages and proof assistants. I provide a brief overview of recent accomplishments in this space,…
