Home
-
Topics
-
Papers
-
Talks
-
Theses
-
Blog
-
CV
-
Photos
-
Funny
Consensus for Decentralized Ledgers
Talk at
Seminar 21431 – Rigorous Methods for Smart Contracts
October 25, 2021 – Schloss Dagstuhl, Germany
Slides:
PDF
Topics:
Consensus
Reliability and Robustness
Operating Systems
Networks
Blockchain
Scalability
Randomness
Personhood
Bryan Ford