Security, privacy, and cryptography
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.
Video
AI Security Engineering—Modeling/Detecting/Mitigating New Vulnerabilities
AI and machine learning present a litany of unmitigated security threats. Research is pivoting from contrived vulns to weaponized exploitation. As a security engineer, how do I protect and defend my services against these threats?…
Podcast
Democratizing data, thinking backwards and setting North Star goals with Dr. Donald Kossmann
Dr. Donald Kossmann is a Distinguished Scientist who thinks big, and as the Director of Microsoft Research’s flagship lab in Redmond, it’s his job to inspire others to think big, too. But don’t be fooled.…
Tool
ElectionGuard
ElectionGuard is an open source software development kit (SDK) that makes voting more secure, transparent and accessible. Announced on at the Build developer conference (opens in new tab), ElectionGuard enables end-to-end verification of elections as well as support…