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.
