Explores the challenges of designing systems with untrustworthy components, emphasizing the importance of algorithmic design and analysis for systems certification.
Explores building the 'Internet Computer' and 'Beyond Blockchains', covering WebAssembly, consensus algorithms, state machine replication, and challenges in deriving randomness.
