Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
Video
Fiat Cryptography: Automatic Correct-by-Construction Generation of Low-Level Cryptographic Code
Some of the most widely used cryptographic protocols, including TLS, depend on fast execution of modular big-number arithmetic. Cryptographic primitives are coded by an elite set of implementation experts, and most programmers are shocked to…
Microsoft Research Blog
Neural fuzzing: applying DNN to software security testing
Microsoft researchers have developed a new method for discovering software security vulnerabilities that uses machine learning and deep neural networks to help the system root out bugs better by learning from past experience. This new…
Publication
ShrinkWrap: VTable Protection Without Loose Ends
Project
Microsoft SEAL
Microsoft SEAL—powered by open-source homomorphic encryption technology—provides a set of encryption libraries that allow computations to be performed directly on encrypted data.
Video
Two-round Secure Multiparty Computations from Minimal Assumptions
A secure multiparty computation protocol allows a set of mutually distrusting parties to compute a joint function of their private inputs without leaking anything apart from the output of the functionality. Ever since the initial…
Group
Algorithms (Redmond)
All computer systems, be it a standalone device, a datacenter, the internet, an advertising platform, deep neural networks or the internet of things rely on sound algorithmic ideas at their foundations.