Security, privacy, and cryptography
Publication
Privacy-preserving Class Ratio Estimation
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…
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…
