Precise Attack Synthesis for Smart Contracts

16 February 2019

Papers citing "Precise Attack Synthesis for Smart Contracts"

3 / 3 papers shown

Title
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 40 692 0 11 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 56 921 0 04 Jun 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 31 287 0 23 Feb 2018