Fetching the paper…
Reading the bibliography…
Smart contracts are programs deployed on a blockchain and are immutable once deployed.
F. A. Hanson, “Testing testing,” in Testing Testing . University of California Press, 1993
1993
Earlier work this paper cites.
L. Baresi and M. Young, “Test oracles,” 2001
2001
Earlier work this paper cites.
D. Spencer, Card sorting: Designing usable categories . Rosenfeld Media, 2009
2009
Earlier work this paper cites.
V. Buterin et al. , “A next-generation smart contract and decentralized application platform,” white paper , vol. 3, no. 37, pp. 2–1, 2014
2014
Earlier work this paper cites.
L. Luu, D.-H. 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, pp. 254–269
2016
Earlier work this paper cites.
F. Perazzi, J. Pont-Tuset, B. McWilliams, L. Van Gool, M. Gross, and A. Sorkine-Hornung, “A benchmark dataset and evaluation methodology for video object segmentation,” in Proceedings of the IEEE conference on computer vision and pattern recognition , 2016, pp. 724–732
2016
Earlier work this paper cites.
F. Hofmann, S. Wurster, E. Ron, and M. Böhmecke-Schwafert, “The immutability concept of blockchains and benefits of early standardization,” in 2017 ITU Kaleidoscope: Challenges for a Data-Driven Society (ITU K) . IEEE, 2017, pp. 1–8
2017
Earlier work this paper cites.
R. Baldoni, E. Coppa, D. C. D’elia, C. Demetrescu, and I. Finocchi, “A survey of symbolic execution techniques,” ACM Computing Surveys (CSUR) , vol. 51, no. 3, pp. 1–39, 2018
2018
Earlier work this paper cites.
J. Li, B. Zhao, and C. Zhang, “Fuzzing: a survey,” Cybersecurity , vol. 1, no. 1, pp. 1–13, 2018
2018
Earlier work this paper cites.
B. Mueller, “Smashing ethereum smart contracts for fun and real profit,” in 9th Annual HITB Security Conference (HITBSecConf) , vol. 54, 2018
2018
Earlier work this paper cites.
I. Nikolić, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor, “Finding the greedy, prodigal, and suicidal contracts at scale,” in Proceedings of the 34th Annual Computer Security Applications Conference , 2018, pp. 653–663
2018
Earlier work this paper cites.
C. F. Torres, J. Schütte, and R. State, “Osiris: Hunting for integer bugs in ethereum smart contracts,” in Proceedings of the 34th Annual Computer Security Applications Conference , 2018, pp. 664–676
2018
Earlier work this paper cites.
P. Tsankov, A. Dan, D. Drachsler-Cohen, A. Gervais, F. Bünzli, and M. Vechev, “Securify: Practical security analysis of smart contracts,” in Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security , ser. CCS ’18. New York, NY, USA: Association for Computing Machinery, 2018, p. 67–82. [Online]. Available: https://doi.org/10.1145/3243734.3243780
2018
Earlier work this paper cites.
B. Jiang, Y. Liu, and W. Chan, “Contractfuzzer: Fuzzing smart contracts for vulnerability detection,” in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2018, pp. 259–269
2018
Earlier work this paper cites.
S. Kalra, S. Goel, M. Dhawan, and S. Sharma, “Zeus: analyzing safety of smart contracts.” in Ndss , 2018, pp. 1–12
2018
Cited alongside, same era.
M. I. Mehar, C. L. Shier, A. Giambattista, E. Gong, G. Fletcher, R. Sanayhie, H. M. Kim, and M. Laskowski, “Understanding a revolutionary and flawed grand experiment in blockchain: the dao attack,” Journal of Cases on Information Technology (JCIT) , vol. 21, no. 1, pp. 19–32, 2019
2019
Cited alongside, same era.
R. Norvill, B. Fiz, R. State, and A. Cullen, “Standardising smart contracts: Automatically inferring erc standards,” in 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) . IEEE, 2019, pp. 192–195
2019
Cited alongside, same era.
J. Feist, G. Grieco, and A. Groce, “Slither: a static analysis framework for smart contracts,” in 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) . IEEE, 2019, pp. 8–15
2019
Cited alongside, same era.
F. Ma, Z. Xu, M. Ren, Z. Yin, Y. Chen, L. Qiao, B. Gu, H. Li, Y. Jiang, and J. Sun, “Pluto: Exposing vulnerabilities in inter-contract scenarios,” IEEE Transactions on Software Engineering , 2021
2021
Later among the works it cites.
J. Choi, G. Grieco, D. Kim, A. Groce, S. Kim, and S. K. Cha, “Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses,” in The 36th IEEE/ACM International Conference on Automated Software Engineering . IEEE/ACM, 2021
2021
Later among the works it cites.
2021
Later among the works it cites.
“Swc registry,” 2022. [Online]. Available: https://swcregistry.io/
2022
Later among the works it cites.
“The ncc group,” 2022. [Online]. Available: https://www.dasp.co/
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“Verismart benchmark,” 2019. [Online]. Available: https://github.com/soohoio/VeriSmartBench
2019
Cited alongside, same era.
Z. Zheng, S. Xie, H.-N. Dai, W. Chen, X. Chen, J. Weng, and M. Imran, “An overview on smart contracts: Challenges, advances and platforms,” Future Generation Computer Systems , vol. 105, pp. 475–491, 2020
2020
Cited alongside, same era.
R. Ji, N. He, L. Wu, H. Wang, G. Bai, and Y. Guo, “Deposafe: Demystifying the fake deposit vulnerability in ethereum smart contracts,” in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) . IEEE, 2020, pp. 125–134
2020
Cited alongside, same era.
C. Ferreira Torres, M. Baden, R. Norvill, B. B. Fiz Pontiveros, H. Jonker, and S. Mauw, “Ægis: Shielding vulnerable smart contracts against attacks,” in Proceedings of the 15th ACM Asia Conference on Computer and Communications Security , 2020, pp. 584–597
2020
Cited alongside, same era.
Y. Zhuang, Z. Liu, P. Qian, Q. Liu, X. Wang, and Q. He, “Smart contract vulnerability detection using graph neural network.” in IJCAI , 2020, pp. 3283–3290
2020
Cited alongside, same era.
B. Bünz, S. Agrawal, M. Zamani, and D. Boneh, “Zether: Towards privacy in a smart contract world,” in International Conference on Financial Cryptography and Data Security . Springer, 2020, pp. 423–443
2020
Cited alongside, same era.
T. Durieux, J. F. Ferreira, R. Abreu, and P. Cruz, “Empirical review of automated analysis tools on 47,587 ethereum smart contracts,” in Proceedings of the ACM/IEEE 42nd International conference on software engineering , 2020, pp. 530–541
2020
Cited alongside, same era.
Y. Xue, M. Ma, Y. Lin, Y. Sui, J. Ye, and T. Peng, “Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts,” in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2020, pp. 1029–1040
2020
Cited alongside, same era.
2022
Later among the works it cites.
“Solidity,” 2022. [Online]. Available: https://docs.soliditylang.org/en/v0.8.16/index.html
2022
Later among the works it cites.
“Remix,” 2022. [Online]. Available: https://remix.ethereum.org/
2022
Later among the works it cites.
“Etherscan,” 2022. [Online]. Available: https://etherscan.io/
2022
Later among the works it cites.
P. Bose, D. Das, Y. Chen, Y. Feng, C. Kruegel, and G. Vigna, “Sailfish: Vetting smart contract state-inconsistency bugs in seconds,” in 2022 IEEE Symposium on Security and Privacy (SP) . IEEE, 2022, pp. 161–178
2022
Later among the works it cites.
“Our experimental data,” 2022. [Online]. Available: https://github.com/InPlusLab/ReentrancyStudy-Data
2022
Later among the works it cites.
“Consensys,” 2022. [Online]. Available: https://consensys.net/
2022
Later among the works it cites.
“Docker hub,” 2022. [Online]. Available: https://hub.docker.com/
2022
Later among the works it cites.
“Reentrancyguard,” 2022. [Online]. Available: https://docs.openzeppelin.com/contracts/4.x/api/security
2022
Later among the works it cites.