Blockchain Protocol Analysis and Security Engineering 2018
<p><p>This conference will explore the use of formal methods, empirical analysis, and risk modeling to better

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. 

Новости из мира биткойнов http://coinbits.news/