Exploiting The Laws of Order in Smart Contracts

27 October 2018

Papers citing "Exploiting The Laws of Order in Smart Contracts"

4 / 4 papers shown

Title
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
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
A Concurrent Perspective on Smart Contracts Ilya Sergey Aquinas Hobor GNN 25 135 0 17 Feb 2017