Michael Coblenz

Smarter Smart Contract Development Tools

2019

Much recent work focuses on finding bugs and security vulnerabilities in smart contracts written in existing languages. Although this approach may be helpful, it does not address flaws in the underlying programming language, which can …