Dave Appleton
Jul 22, 2017 · 1 min read

There is some extremely interesting work in the space of automatic code analysis.
Two of the foremost which come to mind are Oyente by Loi Luu of the National University of Singapore and Securify’s smart contract analysis tools which came out of the security labs of ETH Zurich.

This becomes increasingly important as smart contracts are called on to handle larger amounts of assets.

    Dave Appleton

    Written by

    HelloGold's blockchain lead and Senior Advisor at Akomba Labs; a technology anachronism who codes, teaches, mentors and consumes far too much caffeine.