Security, privacy, and cryptography
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
PRO-ORAM: Practical Read-Only Oblivious RAM
Video
The Worst Form Including All Those Others: Canada’s Experiments with Online Voting
Although Canada is quickly becoming a world leader in the use of online voting, a vacuum of cybersecurity standards, regulation, and public awareness has left online voting vendors largely to set their own bar for…
