Cyber Stanford BPASE18

Stanford has organized its Initiative around the study of “cyber-social systems,” in which cyber-technologies interact with existing social systems. page

Blockchain Protocol Analysis and Security Engineering 2018

January 24-26 2018 conference explored the use of formal methods, empirical analysis, and risk modeling to better understand security and systemic risk in blockchain protocols.

We aim to parse the good stuff and pass along here on wiki. bpase18

YOUTUBE sGuw_M7qsbY Thunderella: 1000x faster cryptocurrency (the super talented Dr Elaine Shi]

YOUTUBE vyRZBeMtkrA Filecoin: protocol overview, the important results, and new open problems - Juan Benet