Security, privacy, and cryptography
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.
Microsoft Research Blog
Research Focus: Week of May 7, 2025
In this issue: New research on compound AI systems and causal verification of the Confidential Consortium Framework; release of Phi-4-reasoning; enriching tabular data with semantic structure, and more.
