P084_Note_Securify: Practical Security Analysis of Smart Contracts

This paper was published by ETH and all copyrights are owned by the original author.

Securify, first, it symbolically analyzes the contracts's dependency graph to extract precise semantic information from the code.