sCompile: Critical Path Identification and Analysis for Smart Contracts

2 August 2018

Jun Sun

Papers citing "sCompile: Critical Path Identification and Analysis for Smart Contracts"

3 / 3 papers shown

Title
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 46 915 0 04 Jun 2018
A Survey on the Security of Blockchain Systems Xiaoqi Li Peng Jiang Ting Chen Xiapu Luo Shirui Pan 39 1,427 0 20 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 591 0 16 Feb 2018