DEVCON1: Casper - Vlad Zamfir
A Correct by Construction Asynchronous Casper Protocol
DEVCON1: Challenges in Public Economic Consensus - Vlad Zamfir
Vlad Zamfir: Casper & Formal Verification of Smart Contracts
[Updated] Ethereum PoS: Casper FFG In Depth
Verifying Casper
DEVCON1: Monadic Design Patterns for the Blockchain - Lucius Greg Meredith
"Ethereum - The World's Computer" - Gavin Wood
Panel: Casper and Consensus
[DEVCON1] Interview With Vlad Zamfir [the monologue]
Ethereum's Proof of Stake Casper Enforcement Explanation
DEVCON1: Panel - Scalability
DEVCON1: Scalable Blockchains & Asynchronous Programming - Vitalik Buterin
DEVCON1: Keynote and Ethereum roadmap
Ethereum's Proof of Stake Casper Explanation part 1
DEVCON1: Introduction to Consensus - Dominic Williams
CESC2017 - Vlad Zamfir - Cryptoeconomics in Casper
DEVCON1: Understanding the Ethereum Blockchain Protocol - Vitalik Buterin
Casper the Friendly Ghost: A "Correct-by-Construction" Blockchain Consensus Protocol - Vlad Zamfir
Casper Research Stand up