Philip Daian is a software engineer and graduate student at IC3 @ Cornell and has a passion for censorship-resistant decentralized technologies. The views expressed here are entirely his own.
Protected: Towards formal smart contracts – A proposal
June 23, 2016 - Enter your password to view comments.
