Security, privacy, and cryptography
Publication
Intelligent REST API Data Fuzzing
Video
Our intern experience at Microsoft Research Cambridge
Find out what it’s like to be an intern at the Microsoft Research lab in Cambridge, UK. Find out more and apply at: https://aka.ms/MSRCambridgeIntern
Video
Working at Microsoft Research Cambridge
Here at Microsoft Research in Cambridge, we truly aspire to transform the world through deep research. Watch the video to find out more about our culture, ambition and research themes. Find out more at: https://aka.ms/MSRCambridge
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