A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

31 August 2020

Papers citing "A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems"

41 / 41 papers shown

Title
Smart Contracts on the Move Enrique Fynn A. Bessani F. Pedone 30 43 0 13 Apr 2020
Concurrency and Privacy with Payment-Channel Networks Giulio Malavolta Pedro A. Moreno-Sánchez Aniket Kate Matteo Maffei Yu Yang 31 287 0 20 Nov 2019
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Alex Groce Josselin Feist Gustavo Grieco Michael Colburn 38 36 0 18 Nov 2019
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Sunbeom So Myungho Lee Jisu Park Heejo Lee Hakjoo Oh 26 111 0 29 Aug 2019
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 42 612 0 26 Aug 2019
Retrofitting a two-way peg between blockchains Jason Teutsch Michael Straka Dan Boneh 28 25 0 12 Aug 2019
A Revisit on Blockchain-based Smart Contract Technology Fengkie Junis F. Prasetya Farouq Ibrahim Lubay A. Sari 18 5 0 22 Jul 2019
A Survey on Zero Knowledge Range Proofs and Applications Eduardo Morais T. Koens C. van Wijk Aleksei Koren 43 86 0 15 Jul 2019
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mark Mossberg F. Manzano Eric Hennenfent Alex Groce Gustavo Grieco Josselin Feist Trent Brunson Artem Dinaburg 42 313 0 08 Jul 2019
Blockchain Technology Overview Dylan Yaga Peter Mell N. Roby K. Scarfone 24 898 0 26 Jun 2019
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited Daniel Perez B. Livshits 25 58 0 18 Feb 2019
Scalable and Privacy-preserving Design of On/Off-chain Smart Contracts Chao Li Balaji Palanisamy Runhua Xu 26 39 0 18 Feb 2019
Precise Attack Synthesis for Smart Contracts Yu Feng Emina Torlak Rastislav Bodík 27 43 0 16 Feb 2019
Verifiable Smart Contract Portability Martin Westerkamp 23 22 0 11 Feb 2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum Anastasia Mavridou Aron Laszka Emmanouela Stachtiari A. Dubey 23 121 0 04 Jan 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 30 255 0 14 Dec 2018
YODA: Enabling computationally intensive contracts on blockchains with Byzantine and Selfish nodes Sourav Das V. Ribeiro Abhijeet Anand 29 43 0 08 Nov 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 21 110 0 27 Oct 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 33 77 0 26 Sep 2018
sCompile: Critical Path Identification and Analysis for Smart Contracts Jialiang Chang Bo Gao Hao Xiao Jun Sun Yan Cai ZhenYu Yang 43 88 0 02 Aug 2018
Raziel: Private and Verifiable Smart Contracts on Blockchains David Cerezo Sánchez 50 73 0 25 Jul 2018
Private Data Objects: an Overview Mic Bowman Andrea Miele M. Steiner Bruno Vavala 52 47 0 16 Jul 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 35 691 0 11 Jul 2018
The Evolution of Embedding Metadata in Blockchain Transactions Tooba Faisal N. Courtois A. Serguieva 22 16 0 18 Jun 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 56 919 0 04 Jun 2018
Blockchain and Trusted Computing: Problems, Pitfalls, and a Solution for Hyperledger Fabric Marcus Brandenburger Christian Cachin R. Kapitza A. Sorniotti 39 126 0 22 May 2018
On and Off-Blockchain Enforcement Of Smart Contracts C. Molina-Jiménez E. Solaiman Ioannis Sfyrakis Irene Ng Jon Crowcroft AILaw 42 33 0 02 May 2018
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution Raymond Cheng Fan Zhang Jernej Kos Warren He Nicholas Hynes Noah M. Johnson Ari Juels Andrew K. Miller D. Song 61 365 0 14 Apr 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 595 0 16 Feb 2018
Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains Elli Androulaki Artem Barger V. Bortnikov Christian Cachin K. Christidis ... A. Sorniotti C. Stathakopoulou Marko Vukolić S. Cocco Jason Yellick 53 3,634 0 30 Jan 2018
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach Anastasia Mavridou Aron Laszka 56 219 0 26 Nov 2017
Consensus in the Age of Blockchains S. Bano A. Sonnino Mustafa Al-Bassam Sarah Azouvi Patrick McCorry Sarah Meiklejohn G. Danezis 60 447 0 10 Nov 2017
Blockchain-based Smart Contracts: A Systematic Mapping Study Maher Alharby Aad van Moorsel 41 405 0 17 Oct 2017
Teechain: A Secure Payment Network with Asynchronous Blockchain Access Joshua Lind O. Naor Ittay Eyal Florian Kelbert Peter R. Pietzuch E. G. Sirer LRM 30 161 0 18 Jul 2017
A Survey on Security and Privacy Issues of Bitcoin Mauro Conti Surinder Kumar Chhagan Lal Sushmita Ruj 62 864 0 03 Jun 2017
An analysis of Bitcoin OP_RETURN metadata Massimo Bartoletti Livio Pompianu 42 112 0 03 Feb 2017
Instantaneous Decentralized Poker Iddo Bentov R. Kumaresan Andrew K. Miller 30 61 0 24 Jan 2017
Zero-Collateral Lotteries in Bitcoin and Ethereum Andrew K. Miller Iddo Bentov 103 58 0 16 Dec 2016
Enigma: Decentralized Computation Platform with Guaranteed Privacy Guy Zyskind Oz Nathan Alex Pentland MoE FedML 44 448 0 10 Jun 2015
Modeling Bitcoin Contracts by Timed Automata Marcin Andrychowicz Stefan Dziembowski Daniel Malinowski Lukasz Mazurek 35 48 0 08 May 2014