Blockchain Protocol Analysis and Security Engineering 2018
This conference will explore the use of formal methods, empirical analysis, and risk modeling to better understand security and systemic risk in blockchain protocols. We aim to foster multidisciplinary collaboration among practitioners and researchers in blockchain protocols, distributed systems, cryptography, computer security, and risk management. Topics to be covered: - Max Fang; Game Theory and Network Attacks: How to Destroy Bitcoin; - Charles Guillemet; State-of-the-art Attacks on Secure Hardware Wallets; - Jonah Brown-Cohen et al.; Formal Barriers to Proof-of-Stake Protocols; - Karl Floersch; Programming Incentives: An Intro to Cryptoeconomics.