Fetching the paper…
Reading the bibliography…
Smart contracts are susceptible to various security issues, among which access control (AC) vulnerabilities are particularly critical.
M. Weiser, “Program slicing,” IEEE Transactions on software engineering , no. 4, pp. 352–357, 1984
1984
Earlier work this paper cites.
J. Ferrante, K. J. Ottenstein, and J. D. Warren, “The program dependence graph and its use in optimization,” ACM TOPLAS , vol. 9, no. 3, pp. 319–349, 1987
1987
Earlier work this paper cites.
T. J. Parr and R. W. Quong, “Antlr: A predicated-ll (k) parser generator,” Software: Practice and Experience , vol. 25, no. 7, pp. 789–810, 1995
1995
Earlier work this paper cites.
A. De Lucia, A. R. Fasolino, and M. Munro, “Understanding function behaviors through program slicing,” in WPC’96. 4th Workshop on Program Comprehension . IEEE, 1996, pp. 9–18
1996
Earlier work this paper cites.
N. Szabo, “Smart contracts: Building blocks for digital markets,” Online, 1997, available online: http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html
1997
Earlier work this paper cites.
R. S. Sandhu, “Role-based access control,” in Advances in computers . Elsevier, 1998, vol. 46, pp. 237–286
1998
Earlier work this paper cites.
W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest, “Automatically finding patches using genetic programming,” in 2009 IEEE 31st International Conference on Software Engineering . IEEE, 2009, pp. 364–374
2009
Earlier work this paper cites.
S. Son, K. S. McKinley, and V. Shmatikov, “Fix me up: Repairing access-control bugs in web applications.” in NDSS . Citeseer, 2013
2013
Earlier work this paper cites.
D. Kim, J. Nam, J. Song, and S. Kim, “Automatic patch generation learned from human-written patches,” in 2013 35th ICSE . IEEE, 2013, pp. 802–811
2013
Earlier work this paper cites.
G. Wood et al. , “Ethereum: A secure decentralised generalised transaction ledger,” Ethereum project yellow paper , vol. 151, no. 2014, pp. 1–32, 2014
2014
Earlier work this paper cites.
F. Long and M. Rinard, “Staged program repair with condition synthesis,” in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering , 2015, pp. 166–178
2015
Earlier work this paper cites.
——, “Automatic patch generation by learning correct code,” in Proceedings of the 43rd Annual ACM POPL , 2016, pp. 298–312
2016
Earlier work this paper cites.
“Parity Wallet Attack,” https://blog.openzeppelin.com/on-the-parity-wallet-multisig-hack-405a8c12e8f7, 2017
2017
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
Earlier work this paper cites.
I. Nikolic, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor, “Finding the greedy, prodigal, and suicidal contracts at scale,” 2018
2018
Earlier work this paper cites.
P. Tsankov, A. Dan, D. Drachsler-Cohen, A. Gervais, F. Buenzli, and M. Vechev, “Securify: Practical security analysis of smart contracts,” in Proceedings of the 2018 ACM SIGSAC CCS , 2018, pp. 67–82
2018
Earlier work this paper cites.
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, pp. 9–16
2018
Earlier work this paper cites.
J. Jiang, Y. Xiong, H. Zhang, Q. Gao, and X. Chen, “Shaping program repair space with existing patches and similar code,” in Proceedings of the 27th ACM SIGSOFT international symposium on software testing and analysis , 2018, pp. 298–309
2018
Earlier work this paper cites.
2019
Earlier work this paper cites.
C. L. Goues, M. Pradel, and A. Roychoudhury, “Automated program repair,” Communications of the ACM , vol. 62, no. 12, pp. 56–65, 2019
2019
Earlier work this paper cites.
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
Earlier work this paper cites.
P. Daian, S. Goldfeder, T. Kell, Y. Li, X. Zhao, I. Bentov, L. Breidenbach, and A. Juels, “Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability,” in 2020 IEEE Symposium on Security and Privacy (SP) . IEEE, 2020, pp. 910–927
2020
Earlier work this paper cites.
L. Brent, N. Grech, S. Lagouvardos, B. Scholz, and Y. Smaragdakis, “Ethainter: a smart contract security analyzer for composite vulnerabilities,” in Proceedings of the 41st ACM PLDI , 2020, pp. 454–469
2020
Earlier work this paper cites.
Y. Zhang, S. Ma, J. Li, K. Li, S. Nepal, and D. Gu, “Smartshield: Automatic smart contract protection made easy,” in 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) . IEEE, 2020, pp. 23–34
2020
Earlier work this paper cites.
X. L. Yu, O. Al-Bataineh, D. Lo, and A. Roychoudhury, “Smart contract repair,” ACM Transactions on Software Engineering and Methodology (TOSEM) , vol. 29, no. 4, pp. 1–32, 2020
2020
Earlier work this paper cites.
P. Lewis, E. Perez, A. Piktus, F. Petroni, V. Karpukhin, N. Goyal, H. Küttler, M. Lewis, W. tau Yih, T. Rocktäschel, S. Riedel, and D. Kiela, “Retrieval-augmented generation for knowledge-intensive nlp tasks,” in NeurIPS , 2020
2020
Earlier work this paper cites.
S. Badihi, F. Akinotcho, Y. Li, and J. Rubin, “Ardiff: scaling program equivalence checking via iterative abstraction and refinement of common code,” in Proceedings of the 28th ACM FSE , 2020, pp. 13–24
2020
Earlier work this paper cites.
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 ICSE , 2020, pp. 530–541
2020
Earlier work this paper cites.
“Quitoxic,” https://github.com/SunWeb3Sec/DeFiHackLabs#20220701-quixotic—optimism-nft-marketplace, 2020
2020
Earlier work this paper cites.
2021
Earlier work this paper cites.
T. D. Nguyen, L. H. Pham, and J. Sun, “Sguard: towards fixing vulnerable smart contracts automatically,” in 2021 IEEE Symposium on Security and Privacy (SP) . IEEE, 2021, pp. 1215–1229
2021
Earlier work this paper cites.
M. Rodler, W. Li, G. O. Karame, and L. Davi, “ { \{ EVMPatch } \} : Timely and automated patching of ethereum smart contracts,” in 30th USENIX Security Symposium (USENIX Security 21) , 2021, pp. 1289–1306
2021
Earlier work this paper cites.
L. Liu, L. Wei, W. Zhang, M. Wen, Y. Liu, and S. Cheung, “Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts,” in Proc. IEEE ASE , 2021
2021
Earlier work this paper cites.
D. Das, P. Bose, N. Ruaro, C. Kruegel, and G. Vigna, “Understanding security issues in the nft ecosystem,” in Proceedings of the 2022 ACM CCS , ser. CCS ’22. New York, NY, USA: Association for Computing Machinery, 2022, p. 667–681. [Online]. Available: https://doi.org/10.1145/3548606.3559342
2022
Cited alongside, same era.
Y. Liu, Y. Li, S.-W. Lin, and C. Artho, “Finding permission bugs in smart contracts with role mining,” in Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis , 2022, pp. 716–727
2022
Cited alongside, same era.
H. Jin, Z. Wang, M. Wen, W. Dai, Y. Zhu, and D. Zou, “Aroc: An automatic repair framework for on-chain smart contracts,” IEEE Transactions on Software Engineering , vol. 48, no. 11, pp. 4611–4629, 2022
2022
Cited alongside, same era.
C. Ferreira Torres, H. Jonker, and R. State, “Elysium: Context-aware bytecode-level patching to automatically heal vulnerable smart contracts,” in Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses , 2022, pp. 115–128
“Ethereum Contracts,” https://github.com/tintinweb/smart-contract-sanctuary-ethereum, 2023
2023
Later among the works it cites.
2023
Later among the works it cites.
2023
Later among the works it cites.
2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2022
Cited alongside, same era.
J. Wei, X. Wang, D. Schuurmans, M. Bosma, F. Xia, E. Chi, Q. V. Le, D. Zhou et al. , “Chain-of-thought prompting elicits reasoning in large language models,” Advances in Neural Information Processing Systems , vol. 35, pp. 24 824–24 837, 2022
2022
Cited alongside, same era.
“Example Address,” https://bscscan.com/address/0x0288fba0bf19072d 30490a0f- 3c81cd9b0634258a#code#F1#L291, 2022
2022
Cited alongside, same era.
2022
Cited alongside, same era.
M. Fu, C. Tantithamthavorn, T. Le, V. Nguyen, and D. Phung, “Vulrepair: a t5-based automated software vulnerability repair,” in Proceedings of the 30th ACM FSE , 2022, pp. 935–947
2022
Cited alongside, same era.
J. Chi, Y. Qu, T. Liu, Q. Zheng, and H. Yin, “Seqtrans: automatic vulnerability fix via sequence to sequence learning,” IEEE Transactions on Software Engineering , vol. 49, no. 2, pp. 564–585, 2022
2022
Cited alongside, same era.
Z. Chen, S. Kommrusch, and M. Monperrus, “Neural transfer learning for repairing security vulnerabilities in c code,” IEEE TSE , vol. 49, no. 1, pp. 147–165, 2022
2022
Cited alongside, same era.
S. Werner, D. Perez, L. Gudgeon, A. Klages-Mundt, D. Harz, and W. Knottenbelt, “Sok: Decentralized finance (defi),” in Proceedings of the 4th ACM Conference on Advances in Financial Technologies , ser. AFT ’22, 2023, p. 30–46
2023
Cited alongside, same era.
“Solidity,” https://soliditylang.org/, 2023
2023
Cited alongside, same era.
S. Badihi, K. Ahmed, Y. Li, and J. Rubin, “Responsibility in context: On applicability of slicing in semantic regression analysis,” in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 2023, pp. 563–575
2023
Later among the works it cites.
L. Zhang, C. Liu, Z. Xu, S. Chen, L. Fan, B. Chen, and Y. Liu, “Has my release disobeyed semantic versioning? static detection based on semantic differencing,” in Proceedings of the 37th IEEE/ACM ASE , ser. ASE ’22, 2023
2023
Later among the works it cites.
X. Yi, Y. Fang, D. Wu, and L. Jiang, “BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects,” in Proc. ISOC NDSS , 2023
2023
Later among the works it cites.
“National vulnerability database,” https://nvd.nist.gov/ , 2023
2023
Later among the works it cites.
“Defi Hack Labs,” https://github.com/SunWeb3Sec/DeFiHackLabs, 2023
2023
Later among the works it cites.
“Tintinweb Vul Dataset,” https://github.com/tintinweb/smart-contract-vulndb/tree/main, 2023
2023
Later among the works it cites.
BlockSec, “Blocksec building blockchain security infrastructure,” https://blocksec.com/#blogs , 2023, (Accessed on 01/09/2023)
2023
Later among the works it cites.
SlowMist, “Slowmist,” https://www.slowmist.com/ , 2023, (Accessed on 01/09/2023)
2023
Later among the works it cites.
“Medium,” https://medium.com/, 2023
2023
Later among the works it cites.
“Etherscan,” https://etherscan.io/, 2023
2023
Later among the works it cites.
“Guardian Role for ERC20,” https://github.com/sherlock-audit/2023-04-unitasprotocol-judging/blob/main//false/126.md, 2023
2023
Later among the works it cites.
C. S. Xia, Y. Wei, and L. Zhang, “Automated program repair in the era of large pre-trained language models,” in Proceedings of the 45th International Conference on Software Engineering (ICSE 2023). Association for Computing Machinery , 2023
2023
Later among the works it cites.
2023
Later among the works it cites.
2023
Later among the works it cites.
K. Huang, X. Meng, J. Zhang, Y. Liu, W. Wang, S. Li, and Y. Zhang, “An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair,” in Proc. IEEE ASE , 2023
2023
Later among the works it cites.
N. Jiang, K. Liu, T. Lutellier, and L. Tan, “Impact of code language models on automated program repair,” Proc. ACM ICSE , 2023
2023
Later among the works it cites.
“GPT3.5,” https://platform.openai.com/docs/models, 2024
2024
Closest in time.
“Llama3,” https://huggingface.co/meta-llama/Meta-Llama-3-8B, 2024
2024
Closest in time.
“ERC 20,” https://ethereum.org/en/developers/docs/standards/tokens/erc-20/, 2024
2024
Closest in time.
2024
Closest in time.
Y. Sun, D. Wu, Y. Xue, H. Liu, H. Wang, Z. Xu, X. Xie, and Y. Liu, “GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis,” in Proc. ACM ICSE , 2024
2024
Closest in time.
“ACFix Website,” https://sites.google.com/view/acfixsmartcontract, 2024
2024
Closest in time.
C. Gao, W. Yang, J. Ye, Y. Xue, and J. Sun, “sguard+: Machine learning guided rule-based automated vulnerability repair on smart contracts,” ACM Transactions on Software Engineering and Methodology , vol. 33, no. 5, pp. 1–55, 2024
2024
Closest in time.
C. Wang, J. Zhang, J. Gao, L. Xia, Z. Guan, and Z. Chen, “Contracttinker: Llm-empowered vulnerability repair for real-world smart contracts,” in Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering , 2024, pp. 2350–2353
2024
Closest in time.
V. Mothukuri, R. M. Parizi, and J. L. Massa, “Llmsmartsec: Smart contract security auditing with llm and annotated control flow graph,” in 2024 IEEE International Conference on Blockchain (Blockchain) . IEEE, 2024, pp. 434–441
2024
Closest in time.
“OpenAI Formatting,” https://platform.openai.com/docs/api-reference/audio/createTranscription#audio-createtranscription-response_format, 2024
2024
Closest in time.
“How much does GPT-4 cost?” https://help.openai.com/en/articles/7127956-how-much-does-gpt-4-cost, 2024
2024
Closest in time.
“Open Card Sorting,” https://en.wikipedia.org/wiki/Card_sorting, 2025
2025
Closest in time.