Fetching the paper…
Reading the bibliography…
Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts.
J. C. King, “Symbolic execution and program testing,” Communications of the ACM , vol. 19, no. 7, 1976
1976
Earlier work this paper cites.
J. Clause, W. Li, and A. Orso, “Dytan: A generic dynamic taint analysis framework,” in Proceedings of the 2007 International Symposium on Software Testing and Analysis . ACM, 2007
2007
Earlier work this paper cites.
E. J. Schwartz, T. Avgerinos, and D. Brumley, “All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask),” in 31st IEEE Symposium on Security and Privacy, S&P , 2010
2010
Earlier work this paper cites.
V. Kuznetsov, J. Kinder, S. Bucur, and G. Candea, “Efficient state merging in symbolic execution,” in Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation , 2012
2012
Earlier work this paper cites.
T. Avgerinos, A. Rebert, S. K. Cha, and D. Brumley, “Enhancing symbolic execution with veritesting,” in Proceedings of the 36th International Conference on Software Engineering , ser. ICSE 2014. ACM, 2014
2014
Earlier work this paper cites.
W. Enck, P. Gilbert, S. Han, V. Tendulkar, B.-G. Chun, L. P. Cox, J. Jung, P. McDaniel, and A. N. Sheth, “Taintdroid: an information-flow tracking system for realtime privacy monitoring on smartphones,” ACM Transactions on Computer Systems (TOCS) , vol. 32, no. 2, 2014
2014
Earlier work this paper cites.
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy, and S. Z. Béguelin, “Formal verification of smart contracts: Short paper,” in Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security , 2016
2016
Earlier work this paper cites.
H. Jordan, B. Scholz, and P. Subotić, “Soufflé: On synthesis of program analyzers,” in International Conference on Computer Aided Verification . Springer, 2016
2016
Earlier work this paper cites.
L. Luu, D. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter,” in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , 2016
2016
Earlier work this paper cites.
G. Wood, “Ethereum: A secure decentralised generalised transaction ledger (EIP-150 revision),” 2016. [Online]. Available: http://gavwood.com/paper.pdf
2016
Earlier work this paper cites.
N. Atzei, M. Bartoletti, and T. Cimoli, “A survey of attacks on ethereum smart contracts (sok),” in Proceedings of the 6th International Conference on Principles of Security and Trust , 2017
2017
Earlier work this paper cites.
M. Coblenz, “Obsidian: A safer blockchain programming language,” in 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) , May 2017
2017
Earlier work this paper cites.
S. Grossman, I. Abraham, G. Golan-Gueta, Y. Michalevsky, N. Rinetzky, M. Sagiv, and Y. Zohar, “Online detection of effectively callback free objects with applications to smart contracts,” Proceedings of the ACM on Programming Languages , 2017
2017
Earlier work this paper cites.
E. Hildenbrandt, M. Saxena, X. Zhu, N. Rodrigues, P. Daian, D. Guth, and G. Rosu, “KEVM: A complete semantics of the ethereum virtual machine,” Tech. Rep., 2017
2017
Earlier work this paper cites.
R. O’Connor, “Simplicity: A new language for blockchains,” in Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security . ACM, Oct. 2017
2017
Cited alongside, same era.
M. Suiche, “Porosity: A decompiler for blockchain-based smart contract bytecode,” 2017. [Online]. Available: https://github.com/comaeio/porosity
2017
Cited alongside, same era.
https://github.com/nexusdev/hack-recovery , [Online; accessed Jul 28, 2018]
2018
Cited alongside, same era.
“Bamboo: a language for morphing smart contracts,” https://github.com/pirapira/bamboo , [Online; accessed Jul 24, 2018]
2018
Cited alongside, same era.
“ethersplay: Evm disassembler and related analysis tools.” https://github.com/trailofbits/ethersplay , [Online; accessed Jul 28, 2018]
2018
Cited alongside, same era.
C. Jentzsch, “The History of the DAO and Lessons Learned,” Aug 2016, [Online; accessed Aug 1, 2018]. [Online]. Available: https://blog.slock.it/the-history-of-the-dao-and-lessons-learned-d06740f8cfa5
2018
Closest in time.
S. Kalra, S. Goel, M. Dhawan, and S. Sharma, “ZEUS: Analyzing safety of smart contracts,” in Proceedings 2018 Network and Distributed System Security Symposium . Internet Society, 2018
2018
Closest in time.
J. Krupp and C. Rossow, “TEETHER: Gnawing at ethereum to automatically exploit smart contracts,” in 27th USENIX Security Symposium (USENIX Security 18) , 2018
2018
Closest in time.
I. Nikolic, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor, “Finding the greedy, prodigal, and suicidal contracts at scale,” in 34th Annual Computer Security Applications Conference (ACSAC’18) , 2018
2018
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“Solidity documentation,” [Online; accessed Aug 6, 2018]. [Online]. Available: http://solidity.readthedocs.io/
2018
Cited alongside, same era.
“Solidity withdrawal from contracts,” [Online; accessed Jul 25, 2018]. [Online]. Available: https://solidity.readthedocs.io/en/develop/common-patterns.html#withdrawal-from-contracts
2018
Cited alongside, same era.
“Critical ether token wrapper vulnerability - eth tokens salvaged from potential attacks,” https://www.reddit.com/r/MakerDAO/comments/4niu10/critical_ether_token_wrapper_vulnerability_eth/ , Jun. 2016, [Online; accessed Jul 28, 2018]
2018
Cited alongside, same era.
“A list of altcoins,” https://www.investitin.com/altcoin-list/ , 2018, [Online; accessed Aug 6, 2018]
2018
Cited alongside, same era.
ConsenSys Diligence, “Ethereum smart contract best practices,” [Online; accessed Jul 25, 2018]. [Online]. Available: https://consensys.github.io/smart-contract-best-practices/known_attacks/
2018
Cited alongside, same era.
P. Daian, “Chasing the dao attacker’s wake,” https://pdaian.com/blog/chasing-the-dao-attackers-wake/ , [Online; accessed Jul 26, 2018]
2018
Cited alongside, same era.
“Dao contract address,” https://etherscan.io/address/0xBB9bc244D798123fDe783fCc1C72d3Bb8C189413 , [Online; accessed Aug 1, 2018]
2018
Cited alongside, same era.
2018
Closest in time.
R. Price, “Digital currency ethereum is cratering because of a $50 million hack,” https://www.businessinsider.com/dao-hacked-ethereum-crashing-in-value-tens-of-millions-allegedly-stolen-2016-6 , Jun. 2016, [Online; accessed May 4, 2018]
2018
Closest in time.
C. Reitwiessner, “Babbage – a mechanical smart contract language,” https://medium.com/@chriseth/babbage-a-mechanical-smart-contract-language-5c8329ec5a0e , 2017, [Online; accessed Jul 24, 2018]
2018
Closest in time.
J. Tanner, https://blog.indorse.io/ethereum-upgradeable-smart-contract-strategies-456350d0557c , Mar 2018, [Online; accessed Aug 6, 2018]
2018
Closest in time.
S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko, and Y. Alexandrov, “Smartcheck: Static analysis of ethereum smart contracts,” in Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain , 2018
2018
Closest in time.
D. Trabish, A. Mattavelli, N. Rinetzky, and C. Cadar, “Chopped symbolic execution,” in Proceedings of the 40th International Conference on Software Engineering , 2018
2018
Closest in time.
P. Tsankov, A. M. Dan, D. D. Cohen, A. Gervais, F. Buenzli, and M. T. Vechev, “Securify: Practical security analysis of smart contracts,” in Proceedings of the 2018 ACM Conference on Computer and Communications Security, CCS , 2018
2018
Closest in time.
J. Wilcke, https://blog.ethereum.org/2016/09/22/ethereum-network-currently-undergoing-dos-attack/ , 2016, [Online; accessed Jul 28, 2018]
2018
Closest in time.