Consensus Protocol Courses
USENIX via YouTube Consensus Protocols
TheIACR via YouTube Tools for Blockchains - Eurocrypt 2024
TheIACR via YouTube Consensus Protocols - Crypto 2024
TheIACR via YouTube Introduction to Distributed Databases - Lecture 21
CMU Database Group via YouTube Introduction to Distributed Databases - Lecture 21
CMU Database Group via YouTube LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
ACM SIGPLAN via YouTube Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
ACM SIGPLAN via YouTube