–
Coffee and Check-In
–
Welcome Remarks
–
PBFT and Blockchains
Barbara Liskov (MIT)
–
Break
–
Consensus with Asymmetric Trust
Christian Cachin (University of Bern)
–
Lunch
–
Correctness Conditions for Cross-Chain Deals
Maurice Herlihy (Brown University)
–
Break
–
From Theory to Practice - Threshold Cryptography
Tal Rabin (University of Pennsylvania and AWS)
–
Reception
–
Coffee and Check-In
–
On Analyzing Blockchain Consistency
Rajmohan Rajaraman (Northeastern University)
–
Scaling Bitcoin to Physical Limits
David Tse (Stanford University)
–
Break
–
Winkle: Foiling Long Range Attacks in Proof-of-Stake Blockchains
Sarah Azouvi (UCL)
–
Replay Attacks and Defenses Against Cross-shard Consensus in Sharded Distributed Ledgers
Alberto Sonnino (Facebook/Calibra)
–
Lunch
–
Analysis of Nakamoto Consensus
Ling Ren (UIUC)
–
Flexible Byzantine Fault Tolerance
Kartik Nayak (Duke University)
–
Algorand: A Secure, Scalable and Decentralized Blockchain
Jing Chen (Stony Brook University and Algorand Inc.)
–
Break
–
Asynchronous Distributed Key Generation
Kokoris Eleftherios (EPFL)
–
CHURP: Dynamic-Committee Proactive Secret Sharing
Lun Wang (UC Berkeley)
–
Coffee and Check-In
–
From Byzantine Generals to Global Harmony, Modularly
Ran Canetti (Boston University & Tel Aviv University)
–
Consensus Through Herding
Rafael Pass (Cornell University)
–
Break
–
Consensus with Adaptive Adversaries in the Synchronous and Partially Synchronous Models: Binary Byzantine Agreement and Block Consensus
Quanquan Liu (MIT)
–
Strengthening Reliable Decentralized Systems at Interchain
Josef Widder (Tendermint/Interchain)
–
Lunch
–
BFTree — Scaling HotStuff to Millions of Validators
Marek Olszewski (Celo)
–
Building Probabilistic BFT Protocols Through Subsampled Voting
Kevin Sekniqi (Cornell University)
–
LibraBFTv2: Optimistically-linear BFT Consensus with Concrete Latency Bounds
Mathieu Baudet (Facebook/Calibra)
–
Break
–
SybilQuorum:Bootstrapping Sybil Resistant Quorum Systems from "Trust" Networks
George Danezis (UCL and Facebook/Calibra)
–
Concurrency and Privacy Challenges for Multi-hop HTLCs
Srivatsan Ravi (USC)
–
Coffee and Check-In
–
Incentive-Compatibility in Blockchains and Mining Pools
Tim Roughgarden (Columbia University)
–
Break
–
Trusted Execution Environments Meet the Blockchain
Ittay Eyal (Technion)
–
Decentralized Mining in Centralized Pools
Zhiguo He (University of Chicago)
–
Lunch
–
The BItcoin Payment System as a Two-Sided Market
Jacob Leshno (University of Chicago)
–
Break
–
An Overview of Mechanism Design Challenges for Cryptocurrencies
Matt Weinberg (Princeton University)