January 24-26 2018, Arrillaga Alumni Center, Stanford University. This conference will explore the use of formal methods...
January 24-26 2018, Arrillaga Alumni Center, Stanford University.
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. The talks and papers from the previous event in this conference series are available here.
Conference Dates: January 24-26, 2018
Schedule: The program will include survey talks providing an introduction to, and background on, topics that will be explored in more depth in the main talks.
