Security, privacy, and cryptography
Publication
SchnorrQ: Schnorr signatures on FourQ
Video
Dr. TLA+ Series – Raft
The presentation slide and the complete schedule of Dr. TLA+ Series are available at https://github.com/tlaplus/DrTLAPlus In this talk, we will discuss Raft and its TLA+ spec. Raft is a consensus algorithm for managing a replicated…
Video
Verifying Constant-Time Implementations
The constant-time programming discipline is an effective countermeasure against timing and cache-timing attacks, which can lead to complete breaks of otherwise secure systems. However, adhering to it is hard, especially under additional efficienty and legacy…
Publication
Network Oblivious Transfer
Video
System Design for Cloud Services – Afternoon Session
1:00pm Rethinking Systems Management with Game Theory Benjamin Lee, Duke University Data Markets in the Cloud: Pricing, Privacy, and Versioning Adam Wierman, California Institute of Technology How to Think about Hyperscale Architecture Doug Burger, Microsoft…
Event
System Design for Cloud Services
System Design for Cloud Services was part of the Microsoft Research Faculty Summit 2016.
Microsoft Research Blog
Microsoft Research Faculty Summit opens
By Harold Javid, General Chair, Faculty Summit Microsoft Research’s annual Faculty Summit opened Wednesday with a series of talks about how technological innovation can benefit both business and society. In a fireside chat with Jeannette M. Wing,…
Video
Personal Control of Data
People around the world are concerned that more and more of their personal data is on the Internet, where it’s easy to find, copy, and link up with other data. Data about people’s presence and…
