research
∙
01/14/2020
What's Live? Understanding Distributed Consensus
Distributed consensus algorithms such as Paxos have been studied extensi...
research
∙
10/22/2018
High-level Cryptographic Abstractions
The interfaces exposed by commonly used cryptographic libraries are clum...
research
∙
02/27/2018