Security, privacy, and cryptography
Career Opportunity
Principal Applied Scientist – Microsoft Teams
As a Principal Applied Scientist on Microsoft Teams you will need to design and build systems that allow LLMs to reason over large amounts of data as well as leveraging lighter weight models in place…
Video
Precio: Private Aggregate Measurement via Oblivious Shuffling
This talk presents Precio, a secure aggregation system for computing layered histograms and sums over secret shared data in a client-server setting. Precio is motivated by private ad measurement scenarios, where online advertisers and ad…
Dataset Source Code
Precio
Precio is a Rust library that implements the Precio protocol for computing private layered histograms and sums.
Video
Sandi: A System for Accountability
Kim Laine presents a novel reputation system called Sandi, which aims to create trust between two otherwise distrusting parties. Concretely, Sandi focuses on online communication scenarios, where two communicating parties do not know each other,…
Microsoft Research Blog
Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library
We’re rewriting parts of Microsoft’s SymCrypt cryptographic library in Rust to improve memory safety and defend against side-channel attacks, enabling formal verification while maintaining backward compatibility via a Rust-to-C compiler.
Publication
Securing AI Agents with Information-Flow Control
Microsoft Research Blog
FrodoKEM: A conservative quantum-safe cryptographic algorithm
The recent advances in quantum computing offer many advantages—but also challenge current cryptographic strategies. Learn how FrodoKEM could help strengthen security, even in a future with powerful quantum computers.
