Security, privacy, and cryptography
Video
Two-round Secure Multiparty Computations from Minimal Assumptions
A secure multiparty computation protocol allows a set of mutually distrusting parties to compute a joint function of their private inputs without leaking anything apart from the output of the functionality. Ever since the initial…
Group
Algorithms (Redmond)
All computer systems, be it a standalone device, a datacenter, the internet, an advertising platform, deep neural networks or the internet of things rely on sound algorithmic ideas at their foundations.
Publication
FAME: Fast Attribute-based Message Encryption
Event
Microsoft @ LISA 2017
Microsoft is a silver sponsor of LISA17, the annual vendor-neutral meeting place for the wider system administration community. The program will address the overlap and differences between traditional and modern IT operations and engineering, curated…
Publication
Lazy Diagnosis of In-Production Concurrency Bugs
Event
Microsoft Research @ HCOMP 2017
We are excited to be a gold sponsor of Human Computation and Crowdsourcing (HCOMP) 2017, the premier venue for disseminating the latest research findings on crowdsourcing and human computation. While artificial intelligence (AI) and human-computer…