Security, privacy, and cryptography
Webinar
The next generation of developer tools for data programming webinar
In this webinar led by Partner Researcher Dr. Ben Zorn, follow the path of the revolution that empowers more people to easily leverage computational resources for problem solving. You will examine the incredible opportunities and technical…
Microsoft Research Blog
A brief introduction to fuzzing and why it’s an important tool for developers
In the February 2020 issue of Communications of the ACM, Microsoft researcher Patrice Godefroid published a new review article entitled “Fuzzing: Hack, Art, and Science,” which presents an overview of the main automated testing techniques…
Project
Post-Quantum Crypto Tunnel to the Underwater Datacenter
We’ve taken some of the traffic traveling between the Natick underwater datacenter located off the coast of Scotland and Microsoft Research headquarters in Redmond, Washington, USA, and secured that traffic with an encrypted network tunnel…
Project
Quickr: Cost-Effective Data Analytics at Scale
Quickr explores cost-effective data analytics at scale, breaking new ground in research on offering approximate answers for complex ad-hoc queries.
Project
Project Everest
Project Everest aims to build and deploy a verified HTTPS stack, constructing a high-performance, standards-compliant, and verified implementation of the full HTTPS ecosystem.
Tool
CryptoNets [v3.2]
CryptoNets is a demonstration of the use of Neural-Networks over data encrypted with Homomorphic Encryption. Homomorphic Encryptions allow performing operations such as addition and multiplication over data while it is encrypted.
Video
Faculty Summit 2016: Hot Topics
Generating Natural Questions About an Image CryptoNets: Machine Learning Inference on Encrypted Data Everest: Deploying Verified-Secure Implementations in the HTTPS Ecosystem Molecular Programming
Project
Project Laplace
The broad goal of Project Laplace is to enable privacy-preserving data analysis and machine learning using differential privacy.