Security, privacy, and cryptography
Publication
Authenticated Network Time Synchronization
Microsoft Research Blog
Microsoft researchers enable secure data exchange in the cloud
By John Roach, Writer, Microsoft Research In the future, machine learning algorithms may examine our genomes to determine our susceptibility to maladies such as heart disease and cancer. Between now and then, computer scientists need…
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…
Publication
Network Oblivious Transfer
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…
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…
