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