Date Posted: 10/12/2016

CS student Phil Daian was quoted by CoinDesk for a recent talk he gave at ethereum’s developer summit on smart contract security and program verification: Daian spoke to the interest in formal verification methodology more broadly, telling the audience he believes it could help ethereum solve key issues.