Security, privacy, and cryptography
Publication
Oblivious Differential Privacy Poster
Tool
HACL*
A High-Assurance Cryptographic Library (HACL*), a formally verified cryptographic library written in F*. This repository contains verified code for a library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and…
Podcast
News from the front in the post-quantum crypto wars with Dr. Craig Costello
Dr. Craig Costello is in the business of safeguarding your secrets. And he uses math to do it. A researcher in the Security and Cryptography group at Microsoft Research, Dr. Costello is among a formidable…
Publication
Spectral embedding of weighted graphs
Publication
TLA+ Model Checking Made Symbolic
Publication
BioID: A Privacy-Friendly Identity Document
Microsoft Research Blog
Project Everest: Advancing the science of program proof
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post—about the proving methodology and verification tools of…
Publication