Title Securify: Practical security analysis of smart contracts
Authors Tsankov, Petar and Dan, Andrei and Drachsler-Cohen, Dana and Gervais, Arthur and Buenzli, Florian and Vechev, Martin
Year 2018



Videos



Resources