Fetching the paper…
Reading the bibliography…
With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption.
“The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver”
Reid Smith · 1980
Earlier work this paper cites.
“Formalizing and Securing Relationships on Public Networks.”, 1997
Nick Szabo · 1997
Earlier work this paper cites.
“A multi-party contract model”
Lai Xu · 2004
Earlier work this paper cites.
“LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation”
Chris Lattner and Vikram Adve · 2004
Earlier work this paper cites.
“Logic in Computer Science: Modelling and Reasoning about Systems”
Michael Huth and Mark Ryan · 2004
Earlier work this paper cites.
“Compositional specification of commercial contracts”
Jesper Andersen et al · 2006
Earlier work this paper cites.
“K: A Rewriting-Based Framework for Computations - Preliminary version”, 2007
Grigore Rosu · 2007
Earlier work this paper cites.
“Run-Time Monitoring of Electronic Contracts”
Marcel Kyas, Cristian Prisacariu and Gerardo Schneider · 2008
Earlier work this paper cites.
“Bitcoin: A peer-to-peer electronic cash system”, 2008
Satoshi Nakamoto · 2008
Earlier work this paper cites.
“A Next-Generation Smart Contract and Decentralized Application Platform”, 2013
Vitalik Buterin · 2013
Earlier work this paper cites.
“Ethereum: a secure decentralised generalised transaction ledger”, 2014, pp. 1–32
Gavin Wood · 2014
Earlier work this paper cites.
“Zerocash: Decentralized Anonymous Payments from Bitcoin”
Eli Sasson et al · 2014
Earlier work this paper cites.
“Lem: reusable engineering of real-world semantics”
Dominic. Mulligan et al · 2014
Earlier work this paper cites.
“Research Perspectives and Challenges for Bitcoin and Cryptocurrencies”
Joseph Bonneau et al · 2015
Earlier work this paper cites.
“EIP 48: EVM 2.0 WASM”, 2015
Wanderer · 2015
Earlier work this paper cites.
“Formal Verification for Solidity Contracts”, 2015
Christian Reitwiessner · 2015
Earlier work this paper cites.
“The Bitcoin Lightning Network: Scalable Off-Chain Instant Payments”, 2016, pp. 59
Joseph Poon and Thaddeus Dryja · 2016
Earlier work this paper cites.
“Analysis of the DAO exploit”, 2016
Phil Daian · 2016
Earlier work this paper cites.
“Making Smart Contracts Smarter”
Loi Luu et al · 2016
Earlier work this paper cites.
“Formal Verification of Smart Contracts”
Karthikeyan Bhargavan et al · 2016
Earlier work this paper cites.
“Architecture of the hyperledger blockchain fabric”, 2016
Christian Cachin · 2016
Earlier work this paper cites.
“Evaluation of Logic-Based Smart Contracts for Blockchain Systems”
Florian Idelberger, Guido Governatori, Régis Riveret and Giovanni Sartor · 2016
Earlier work this paper cites.
“Smart Contract Templates: foundations, design landscape and research directions”, 2016, pp. 1–15
Christopher. Clack, Vikram. Bakshi and Lee Braine · 2016
Earlier work this paper cites.
“Formal Verification of Deed Contract in Ethereum Name Service”, 2016, pp. 1–81
Yoichi Hirai · 2016
Earlier work this paper cites.
“An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns”
Massimo Bartoletti and Livio Pompianu · 2017
Earlier work this paper cites.
“Plasma: Scalable Autonomous Smart Contracts”, 2017, pp. 1–47
Joseph Poon and Vitalik Buterin · 2017
Cited alongside, same era.
“Polkadot: Vision for a Heterogeneous Multi-Chain Framework”, 2017, pp. 1–21
Gavin Wood · 2017
Cited alongside, same era.
“A scalable verification solution for blockchains”, 2017, pp. 1–44
Jason Teutsch and Christian Reitwießner · 2017
Cited alongside, same era.
“An In-Depth Look at the Parity Multisig Bug”
Lorenz Breidenbach, Philip Daian, Ari Juels and Eminün Sirer · 2017
Cited alongside, same era.
“A Postmortem on the Parity Multi-Sig Library Self-Destruct”, 2017
Parity Tech · 2017
Cited alongside, same era.
“Michelson: the language of Smart Contracts in Tezos”, 2017
Dynamic Ledger Solutions · 2017
Cited alongside, same era.
“Script”, 2018
Bitcoin Wiki · 2018
Closest in time.
“NECTAR: Non-Interactive Smart Contract Protocol using Blockchain Technology”, 2018
Alexandra Covaci, Simone Madeo, Patrick Motylinski and Stéphane Vincent · 2018
Closest in time.
“A Semantic Framework for the Security Analysis of Ethereum Smart Contracts”
Ilya Grishchenko, Matteo Maffei and Clara Schneidewind · 2018
Closest in time.
“Joyfully Universal Language for (Inline) Assembly”, 2018
Ethereum Foundation · 2018
Closest in time.
“Contracts, Composition, and Scaling: The Rholang specification 0.2”, 2018
Lucius Meredith et al · 2018
Closest in time.
“Distributed ledgers need more than traditional application design patterns”
Shaul Kfir · 2018
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“The Pact Smart-Contract Language”, 2017, pp. 1–15
Stuart Popejoy · 2017
Cited alongside, same era.
“Securify: Practical Security Analysis of Smart Contracts”, 2017
Petar Tsankov et al · 2017
Cited alongside, same era.
“KEVM: A Complete Semantics of the Ethereum Virtual Machine”, 2017, pp. 1–33
Everett Hildenbrandt et al · 2017
Cited alongside, same era.
“Defining the Ethereum Virtual Machine for Interactive Theorem Provers”
Yoichi Hirai · 2017
Cited alongside, same era.
“Simplicity: A New Language for Blockchains”, 2017, pp. 1–34
Russell O’Connor · 2017
Cited alongside, same era.
“A survey of attacks on Ethereum smart contracts (SoK)”
Nicola Atzei, Massimo Bartoletti and Tiziana Cimoli · 2017
Cited alongside, same era.
“What properties must an enterprise smart contract language have?”
Simon Meier and Neil Mitchell · 2018
Closest in time.
“A new language for a new paradigm: smart contracts”
Ben Lippmeier and Edward Kmett · 2018
Closest in time.
“The only valid smart contract is a voluntary one - easier said than done”
Martin Huschenbett and Jost Berthold · 2018
Closest in time.
“Trust but verify is a valuable DLT model - does your language support it?”
Alexander Bernauer and Ratko Veprek · 2018
Closest in time.
“Keeping smart contracts private is hard - unless you truly understand them”
Ognjen Maric and Robin. Krom · 2018
Closest in time.
“Smart contract language: the real arbiter of truth?”
Sören Bleikertz · 2018
Closest in time.
“How difficult is it to write correct smart contracts? Depends on your tools!”
Andreas Lochbihler · 2018
Closest in time.
“Smart contract code: when what you don’t write is as important as what you do”
Darko Pilav and Silvan Villiger · 2018
Closest in time.
“eWASM”, 2018
Ethereum Foundation · 2018
Closest in time.
“Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach”, 2018
Anastasia Mavridou and Aron Laszka · 2018
Closest in time.
“Ethereum Contract Security Techniques and Tips”, 2018
ConsenSys · 2018
Closest in time.
“Recycling Smart Contracts: Compression of the Ethereum Blockchain”
Beltran Pontiveros, Robert Norvill and Radu State · 2018
Closest in time.
“Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts”
Lorenz Breidenbach, Phil Daian, Floriantra Er and Ari Juels · 2018
Closest in time.
“Verifiable Delay Functions”, 2018, pp. 1–29
Dan Boneh, Joseph Bonneau, Benedikt Bünz and Ben Fisch · 2018
Closest in time.
“Smart contracts: Security patterns in the ethereum ecosystem and solidity”
Maximilian Wohrer and Uwe Zdun · 2018
Closest in time.
“Smashing Ethereum Smart Contracts for Fun and Real Profit”, 2018, pp. 1–54
Bernhard Mueller · 2018
Closest in time.
“Finding The Greedy, Prodigal, and Suicidal Contracts at Scale”, 2018
Ivica Nikolic et al · 2018
Closest in time.
“A Formal Verification Tool for Ethereum VM Bytecode”
Daejun Park et al · 2018
Closest in time.
“Towards verifying ethereum smart contract bytecode in Isabelle/HOL”
Sidney Amani, Myriam Bégel, Maksym Bortin and Mark Staples · 2018
Closest in time.