Fetching the paper…
Reading the bibliography…
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts.
Smart Contract Vulnerabilities: Does Anyone Care?
Daniel Perez and Benjamin Livshits. 2019 · 1902
Earlier work this paper cites.
Domain Specific Code Smells in Smart Contracts
Jiachi Chen, Xin Xia, David Lo, John Grundy, Daniel Xiapu Luo, and Ting Chen. 2019b · 1905
Earlier work this paper cites.
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019 · 1907
Earlier work this paper cites.
A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses
Huashan Chen, Marcus Pendleton, Laurent Njilla, and Shouhuai Xu. 2019a · 1908
Earlier work this paper cites.
Ethereum white paper
Vitalik Buterin et al · 2013
Earlier work this paper cites.
Formal verification of smart contracts: Short paper. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security . ACM, New York, NY, USA, 91–96
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, et al · 2016
Earlier work this paper cites.
Analysis of the DAO exploit
Phil Daian. 2016 · 2016
Earlier work this paper cites.
Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC conference on computer and communications security . ACM, New York, NY, USA, 254–269
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016 · 2016
Earlier work this paper cites.
Under-optimized smart contracts devour your money. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER) . IEEE, Klagenfurt, Austria, 442–446
Ting Chen, Xiaoqi Li, Xiapu Luo, and Xiaosong Zhang. 2017 · 2017
Earlier work this paper cites.
Porosity: A decompiler for blockchain-based smart contracts bytecode
Matt Suiche. 2017b · 2017
Earlier work this paper cites.
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. In Automated Technology for Verification and Analysis , Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing, Cham, 513–520
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, and Ilya Sergey. 2018 · 2018
Earlier work this paper cites.
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. In Runtime Verification , Christian Colombo and Martin Leucker (Eds.). Springer International Publishing, Cham, 113–137
Shaun Azzopardi, Joshua Ellul, and Gordon J. Pace. 2018 · 2018
Earlier work this paper cites.
Vandal: A scalable security analysis framework for smart contracts
Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018 · 2018
Cited alongside, same era.
sCompile: Critical path identification and analysis for smart contracts
Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, and Zijiang Yang. 2018 · 2018
Cited alongside, same era.
Solhydra
Blockchain Company. 2018 · 2018
Cited alongside, same era.
Madmax: Surviving out-of-gas conditions in ethereum smart contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2018 · 2018
Cited alongside, same era.
KEVM: A complete formal semantics of the ethereum virtual machine. In 2018 IEEE 31st Computer Security Foundations Symposium (CSF) . IEEE, Oxford, UK, 204–217
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, et al · 2018
Visual emulation for Ethereum’s virtual machine. In NOMS 2018-2018 IEEE/IFIP Network Operations and Management Symposium . IEEE, Taipei, Taiwan, 1–4
Robert Norvill, Beltran Borja Fiz Pontiveros, Radu State, and Andrea Cullen. 2018 · 2018
Later among the works it cites.
Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains. In Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering (CASCON ’18) . IBM Corp., Riverton, NJ, USA, 103–113
Reza M. Parizi, Ali Dehghantanha, Kim-Kwang Raymond Choo, and Amritraj Singh. 2018 · 2018
Later among the works it cites.
Smartcheck: Static analysis of ethereum smart contracts. In 2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) . IEEE, Gothenburg, Sweden, Sweden, 9–16
Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, and Yaroslav Alexandrov. 2018 · 2018
Later among the works it cites.
Osiris: Hunting for integer bugs in ethereum smart contracts. In Proceedings of the 34th Annual Computer Security Applications Conference . ACM, New York, NY, USA, 664–676
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, February 18-21, 2018 . NDSS, San Diego, California, USA, 1–15
Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018 · 2018
Cited alongside, same era.
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In 27th USENIX Security Symposium (USENIX Security 18) . USENIX Association, Baltimore, MD, 1317–1333
Johannes Krupp and Christian Rossow. 2018 · 2018
Cited alongside, same era.
Formal Specification and Verification of Smart Contracts for Azure Blockchain
Shuvendu K Lahiri, Shuo Chen, Yuepeng Wang, and Isil Dillig. 2018 · 2018
Cited alongside, same era.
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. In Principles of Security and Trust , Lujo Bauer and Ralf Küsters (Eds.). Springer International Publishing, Cham, 270–277
Anastasia Mavridou and Aron Laszka. 2018 · 2018
Cited alongside, same era.
Ethereum in BigQuery: a Public Dataset for smart contract analytics
Evgeny Medvedev. 2018 · 2018
Cited alongside, same era.
Smashing ethereum smart contracts for fun and real profit. In 9th Annual HITB Security Conference (HITBSecConf) . HITB, Amsterdam, Netherlands, 54
Bernhard Mueller. 2018 · 2018
Cited alongside, same era.
Finding the greedy, prodigal, and suicidal contracts at scale. In Proceedings of the 34th Annual Computer Security Applications Conference . ACM, New York, NY, USA, 653–663
Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018 · 2018
Cited alongside, same era.
Christof Ferreira Torres, Julian Schütte, et al · 2018
Later among the works it cites.
Securify: Practical security analysis of smart contracts. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security . ACM, New York, NY, USA, 67–82
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018 · 2018
Later among the works it cites.
Security Assurance for Smart Contract. In 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS) . IEEE, Paris, France, 1–5
E. Zhou, S. Hua, B. Pi, J. Sun, Y. Nomura, K. Yamashita, and H. Kurihara. 2018 · 2018
Later among the works it cites.
Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts. In 27th USENIX Security Symposium (USENIX Security 18) . USENIX Association, Baltimore, MD, 1371–1385
Yi Zhou, Deepak Kumar, Surya Bakshi, Joshua Mason, Andrew Miller, and Michael Bailey. 2018 · 2018
Later among the works it cites.
A Survey of Tools for Analyzing Ethereum Smart Contracts. In 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) . IEEE, Newark, CA, USA, USA, 69–78
M. di Angelo and G. Salzer. 2019 · 2019
Closest in time.
Slither: A Static Analysis Framework for Smart Contracts. In Proceedings of the 2Nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB ’19) . IEEE Press, Piscataway, NJ, USA, 8–15
Josselin Feist, Gustavo Greico, and Alex Groce. 2019 · 2019
Closest in time.
Towards analyzing the complexity landscape of solidity based ethereum smart contracts
Peter Hegedus. 2019 · 2019
Closest in time.
A Massive Analysis of Ethereum Smart Contracts Empirical Study and Code Metrics
Andrea Pinna, Simona Ibba, Gavina Baralla, Roberto Tonelli, and Michele Marchesi. 2019 · 2019
Closest in time.
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts. In 28th USENIX Security Symposium (USENIX Security 19) . USENIX Association, Santa Clara, CA, 1591–1607
Christof Ferreira Torres, Mathis Steichen, and Radu State. 2019 · 2019
Closest in time.