ethereum boot camp

IOHK-Funded UIUC Project Produces First Complete Formal Semantics of Ethereum Virtual Machine
August 1st, 2017

Cornell University, UC Berkeley, and Ethereum Foundation award research first place at IC3-Ethereum Boot Camp.