VeriSolid: Correct-by-Design Smart Contracts for Ethereum

4 January 2019

Papers citing "VeriSolid: Correct-by-Design Smart Contracts for Ethereum"

8 / 8 papers shown

Title
Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains R. Parizi Ali Dehghantanha Kim-Kwang Raymond Choo Amritraj Singh 21 142 0 07 Sep 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
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts Anastasia Mavridou Aron Laszka 22 79 0 26 Feb 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 31 287 0 23 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 596 0 16 Feb 2018
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach Anastasia Mavridou Aron Laszka 56 219 0 26 Nov 2017
An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti Livio Pompianu 38 234 0 18 Mar 2017
A Concurrent Perspective on Smart Contracts Ilya Sergey Aquinas Hobor GNN 25 135 0 17 Feb 2017