Fetching the paper…
Reading the bibliography…
Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties.
Principles of Database and Knowledge-base Systems, Vol. I
Jeffrey D. Ullman. 1988 · 1988
Earlier work this paper cites.
Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?). In Third USENIX Conference on Object-Oriented Technologies and Systems (COOTS)
Todd A. Proebsting and Scott A. Watterson. 1997 · 1997
Earlier work this paper cites.
Jimple: Simplifying Java Bytecode for Analyses and Transformations
Raja Vallee-Rai and Laurie J. Hendren. 1998 · 1998
Earlier work this paper cites.
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
Yoshihiko Futamura. 1999 · 1999
Earlier work this paper cites.
Finding application errors and security flaws using PQL: a program query language. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Michael C. Martin, V. Benjamin Livshits, and Monica S. Lam. 2005 · 2005
Earlier work this paper cites.
Bitcoin: A peer-to-peer electronic cash system
Satoshi Nakamoto. 2008 · 2008
Earlier work this paper cites.
Strictly Declarative Specification of Sophisticated Points-to Analyses. In Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Martin Bravenboer and Yannis Smaragdakis. 2009 · 2009
Earlier work this paper cites.
An Overview of the K Semantic Framework
Grigore Roşu and Traian Florin Şerbănuţă. 2010 · 2010
Earlier work this paper cites.
Using Datalog for Fast and Easy Program Analysis. In Datalog Reloaded - First International Workshop, Datalog
Yannis Smaragdakis and Martin Bravenboer. 2010 · 2010
Earlier work this paper cites.
Ethereum: a next generation smart contract and decentralized application platform
Vitalik Buterin. 2013 · 2013
Earlier work this paper cites.
Ethereum: A secure decentralised generalised transaction ledger
Gavin Wood. 2014 · 2014
Earlier work this paper cites.
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, and Hongseok Yang. 2014 · 2014
Earlier work this paper cites.
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, and Emilio Tuosto. 2015 · 2015
Earlier work this paper cites.
Exploring and Enforcing Security Guarantees via Program Dependence Graphs. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Andrew Johnson, Lucas Waye, Scott Moore, and Stephen Chong. 2015 · 2015
Earlier work this paper cites.
A user-guided approach to program analysis. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE)
Ravi Mangal, Xin Zhang, Aditya V. Nori, and Mayur Naik. 2015 · 2015
Earlier work this paper cites.
The DAO Attacked: Code Issue Leads to 60 Million Ether Theft
2016 · 2016
Earlier work this paper cites.
Etherdice
2016 · 2016
Earlier work this paper cites.
King of Ether
2016 · 2016
Cited alongside, same era.
King of Ether, Postmortem
2016 · 2016
Cited alongside, same era.
Reentrancy Woes in Smart Contracts
2016 · 2016
Cited alongside, same era.
Blockchain is empowering the future of insurance
2017 · 2016
Cited alongside, same era.
Formal Verification of Smart Contracts: Short Paper. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security (PLAS)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin. 2016 · 2016
Cited alongside, same era.
Thinking About Smart Contract Security
Vitalik Buterin. 2016 · 2016
Cited alongside, same era.
Parity Ethereum Client
2017c · 2017
Later among the works it cites.
Security Alert
2017d · 2017
Later among the works it cites.
Submarine Sends: IC3’s Plan to Clamp Down on ICO Cheats
2017 · 2017
Later among the works it cites.
A Survey of Attacks on Ethereum Smart Contracts (SoK). In Principles of Security and Trust - 6th International Conference, POST
Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. 2017 · 2017
Later among the works it cites.
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, and Roberto Saia. 2017 · 2017
Later among the works it cites.
How to Find $ 10 10 M Just by Reading the Blockchain
Pawel Bylica. 2017 · 2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. In Financial Cryptography and Data Security (FC)
Kevin Delmolino, Mitchell Arnett, Ahmed Kosba, Andrew Miller, and Elaine Shi. 2016 · 2016
Cited alongside, same era.
Formal verification of Deed contract in Ethereum name service
Yoichi Hirai. 2016 · 2016
Cited alongside, same era.
Soufflé: On Synthesis of Program Analyzers. In Computer Aided Verification - 28th International Conference (CAV)
Herbert Jordan, Bernhard Scholz, and Pavle Subotic. 2016 · 2016
Cited alongside, same era.
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. In IEEE Symposium on Security and Privacy (SP)
Ahmed E. Kosba, Andrew Miller, Elaine Shi, Zikai Wen, and Charalampos Papamanthou. 2016 · 2016
Cited alongside, same era.
Making Smart Contracts Smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS)
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016 · 2016
Cited alongside, same era.
From Datalog to flix: a declarative language for fixed points on lattices. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Magnus Madsen, Ming-Ho Yee, and Ondrej Lhoták. 2016 · 2016
Cited alongside, same era.
Under-optimized smart contracts devour your money. In Software Analysis, Evolution and Reengineering (SANER)
Ting Chen, Xiaoqi Li, Xiapu Luo, and Xiaosong Zhang. 2017 · 2017
Later among the works it cites.
Defining the Ethereum Virtual Machine for Interactive Theorem Provers. In Financial Cryptography and Data Security (FC)
Yoichi Hirai. 2017 · 2017
Later among the works it cites.
Fast Polyhedra Abstract Domain. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
Gagandeep Singh, Markus Püschel, and Martin Vechev. 2017 · 2017
Later among the works it cites.
Ethereum Smart Contract Security Best Practices
2018 · 2018
Closest in time.
Parity Wallet Library
2018 · 2018
Closest in time.
Solidity, high-level language for writing smart contracts
2018 · 2018
Closest in time.
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. In Principles of Security and Trust - 7th International Conference (POST)
Ilya Grishchenko, Matteo Maffei, and Clara Schneidewind. 2018 · 2018
Closest in time.
Online detection of effectively callback free objects with applications to smart contracts
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, and Yoni Zohar. 2018 · 2018
Closest in time.
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. In 31st IEEE Computer Security Foundations Symposium (CSF)
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, and Grigore Rosu. 2018 · 2018
Closest in time.
ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium (NDSS)
Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018 · 2018
Closest in time.
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018 · 2018
Closest in time.