A Semantic Framework for the Security Analysis of Ethereum smart
contracts

v1v2 (latest)

A Semantic Framework for the Security Analysis of Ethereum smart contracts

23 February 2018

Ilya Grishchenko

Clara Schneidewind

ArXiv (abs)PDF HTML

Papers citing "A Semantic Framework for the Security Analysis of Ethereum smart contracts"

9 / 59 papers shown

Title
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 74 259 0 14 Dec 2018
Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis E. Albert Pablo Gordillo A. Rubio Ilya Sergey 54 17 0 22 Nov 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 44 110 0 27 Oct 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 70 77 0 26 Sep 2018
Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains R. Parizi Ali Dehghantanha Kim-Kwang Raymond Choo Amritraj Singh 46 143 0 07 Sep 2018
sCompile: Critical Path Identification and Analysis for Smart Contracts Jialiang Chang Bo Gao Hao Xiao Jun Sun Yan Cai ZhenYu Yang 67 88 0 02 Aug 2018
Parsec: A State Channel for the Internet of Value Amit Kumar Jaiswal GNN 70 3 0 30 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 98 931 0 04 Jun 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 82 603 0 16 Feb 2018