research
∙
02/05/2022
Lazy Risk-Limiting Ballot Comparison Audits
Risk-limiting audits or RLAs are rigorous statistical procedures meant t...
share
research
∙
01/15/2020
Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders
We improve the fundamental security threshold of Proof-of-Stake (PoS) bl...
research
∙
11/22/2019
Linear Consistency for Proof-of-Stake Blockchains
The blockchain data structure maintained via the longest-chain rule—popu...
research
∙
10/13/2019
Efficient simulation of random states and random unitaries
We consider the problem of efficiently simulating random quantum states ...
research
∙
04/23/2018
How to Realize a Graph on Random Points
We are given an integer d, a graph G=(V,E), and a uniformly random embed...
research
∙
03/10/2018
