Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
Podcast
Tales from the Crypt(ography) Lab with Dr. Kristin Lauter
Episode 19, April 11, 2018 – Dr. Lauter tells us why she feels lucky to do math for a living, explains the singular beauty of elliptic curves and the singular difficulty of supersingular isogeny graphs,…
Microsoft Research Blog
Second homomorphic encryption standardization workshop delivers the goods
What an exciting two days at the Second Homomorphic Encryption Standardization Workshop at Massachusetts Institute of Technology. More than 70 participants from 10 countries gathered together for two intense days of panels, discussions and planning…
Publication
Usability of Humanly Computable Passwords
Video
Unsupervised Streaming Cyber-Analytics
The supervised learning approach to cyber-analytics has proven rather successful. However, there are challenges with this approach, including a frequent dearth of labelled data, the issue of temporal variation, and fundamentally, problems of data volume…
Project
Debugging Failures in Deployed Software
Software vendors like Microsoft received a huge number of crash reports every day. Our project tackles the challenges in effectively and efficiently triaging and diagnosing crash reports.
Video
Neural Representations for Program Analysis and Synthesis
Representing a program as a numerical vector (i.e., neural representation) enables handling discrete programs using continuous optimization approaches, and thus opens up new opportunities to tackle many traditional challenging programming language problems. In this talk,…
