1

The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording

Aug 1, 2024

Adaptive Risk-Limiting Comparison Audits

May 1, 2023

Practical Settlement Bounds for Longest-Chain Consensus

Jan 1, 2023

Fait Accompli Committee Selection: Improving the Size-Security Tradeoff of Stake-Based Committees

Jan 1, 2023

Adaptively Secure Random Beacons for Ungrindable Blockchains

Jan 1, 2023

The Generals' Scuttlebutt: Byzantine-Resilient Gossip Protocols

Nov 1, 2022

Practical Settlement Bounds for Proof-of-Work Blockchains

Nov 1, 2022

Ofelimos: Combinatorial Optimization via Proof-of-Useful-Work - A Provably Secure Blockchain Protocol

Jan 1, 2022

A Composable Security Treatment of ECVRF and Batch Verifications

Jan 1, 2022

Dynamic Ad Hoc Clock Synchronization

Oct 1, 2021