Fetching the paper…
Reading the bibliography…
This paper provides a systematic analysis of the opportunities, challenges, and potential solutions of harnessing Large Language Models (LLMs) such as GPT-4 to dig out vulnerabilities within smart contracts based on our ongoing research.
Catch-22: a novel
J. Heller · 1999
Earlier work this paper cites.
Generative adversarial nets
I. Goodfellow, J. Pouget-Abadie, M. Mirza, B. Xu, D. Warde-Farley, S. Ozair, A. Courville, and Y. Bengio · 2014
Earlier work this paper cites.
Unsupervised representation learning with deep convolutional generative adversarial networks
A. Radford, L. Metz, and S. Chintala · 2015
Earlier work this paper cites.
Vandal: A scalable security analysis framework for smart contracts
L. Brent, A. Jurisevic, M. Kong, E. Liu, F. Gauthier, V. Gramoli, R. Holz, and B. Scholz · 2018
Earlier work this paper cites.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
B. Jiang, Y. Liu, and W. K. Chan · 2018
Earlier work this paper cites.
Zeus: analyzing safety of smart contracts
S. Kalra, S. Goel, M. Dhawan, and S. Sharma · 2018
Earlier work this paper cites.
Towards safer smart contracts: A sequence learning approach to detecting security threats
W. J.-W. Tann, X. J. Han, S. S. Gupta, and Y.-S. Ong · 2018
Earlier work this paper cites.
Securify: Practical security analysis of smart contracts
P. Tsankov, A. Dan, D. Drachsler-Cohen, A. Gervais, F. Buenzli, and M. Vechev · 2018
Earlier work this paper cites.
Decentralized application security project top 10 of 2018, 2018
D. Wong and M. Hemmel · 2018
Earlier work this paper cites.
Slither: a static analysis framework for smart contracts
J. Feist, G. Grieco, and A. Groce · 2019
Earlier work this paper cites.
Manticore: A user-friendly symbolic execution framework for binaries and smart contracts
M. Mossberg, F. Manzano, E. Hennenfent, A. Groce, G. Grieco, J. Feist, T. Brunson, and A. Dinaburg · 2019
Earlier work this paper cites.
Mpro: Combining static and symbolic analysis for scalable testing of smart contract
W. Zhang, S. Banescu, L. Pasos, S. Stewart, and V. Ganesh · 2019
Earlier work this paper cites.
A simple guide to setting the gpt-3 temperature, 2020
AlgoWriting · 2020
Earlier work this paper cites.
Ethainter: a smart contract security analyzer for composite vulnerabilities
L. Brent, N. Grech, S. Lagouvardos, B. Scholz, and Y. Smaragdakis · 2020
Earlier work this paper cites.
Language models are few-shot learners
T. Brown, B. Mann, N. Ryder, M. Subbiah, J. D. Kaplan, P. Dhariwal, A. Neelakantan, P. Shyam, G. Sastry, A. Askell, et al · 2020
Earlier work this paper cites.
Language models are few-shot learners
T. Brown, B. Mann, N. Ryder, M. Subbiah, J. D. Kaplan, P. Dhariwal, A. Neelakantan, P. Shyam, G. Sastry, A. Askell, et al · 2020
Earlier work this paper cites.
Echidna: effective, usable, and fast fuzzing for smart contracts
G. Grieco, W. Song, A. Cygan, J. Feist, and A. Groce · 2020
Earlier work this paper cites.
Verx: Safety verification of smart contracts
A. Permenev, D. Dimitrov, P. Tsankov, D. Drachsler-Cohen, and M. Vechev · 2020
Earlier work this paper cites.
Towards automated reentrancy detection for smart contracts based on sequential models
P. Qian, Z. Liu, Q. He, R. Zimmermann, and X. Wang · 2020
Earlier work this paper cites.
Verismart: A highly precise safety verifier for ethereum smart contracts
S. So, M. Lee, J. Park, H. Lee, and H. Oh · 2020
Earlier work this paper cites.
Harvey: A greybox fuzzer for smart contracts
V. Wüstholz and M. Christakis · 2020
Cited alongside, same era.
Evaluating large language models trained on code
M. Chen, J. Tworek, H. Jun, Q. Yuan, H. P. d. O. Pinto, J. Kaplan, H. Edwards, Y. Burda, N. Joseph, G. Brockman, et al · 2021
Cited alongside, same era.
Smartcondetect: Highly accurate smart contract code vulnerability detection mechanism using bert
S. Jeon, G. Lee, H. Kim, and S. S. Woo · 2021
Cited alongside, same era.
Z. Liu, P. Qian, X. Wang, L. Zhu, Q. He, and S. Ji · 2021
Cited alongside, same era.
Combining graph neural networks with expert knowledge for smart contract vulnerability detection
Z. Liu, P. Qian, X. Wang, Y. Zhuang, L. Qiu, and X. Wang · 2021
Cited alongside, same era.
OpenAI · 2023
Closest in time.
Generative agents: Interactive simulacra of human behavior
J. S. Park, J. C. O’Brien, C. J. Cai, M. R. Morris, P. Liang, and M. S. Bernstein · 2023
Closest in time.
Automated program repair based on code review: How do pre-trained transformer models perform?
R. Paul, M. M. Hossain, M. Hasan, and A. Iqbal · 2023
Closest in time.
Communicative agents for software development
C. Qian, X. Cong, C. Yang, W. Chen, Y. Su, J. Xu, Z. Liu, and M. Sun · 2023
Closest in time.
Cross-modality mutual learning for enhancing smart contract vulnerability detection on bytecode
P. Qian, Z. Liu, Y. Yin, and Q. He · 2023
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Attention-based machine learning model for smart contract vulnerability detection
Y. Sun and L. Gu · 2021
Cited alongside, same era.
Smart contract vulnerability detection using graph neural networks
Y. Zhuang, Z. Liu, P. Qian, Q. Liu, X. Wang, and Q. He · 2021
Cited alongside, same era.
Introducing claude
Anthropic · 2022
Cited alongside, same era.
Gift: Graph-guided feature transfer for cold-start video click-through rate prediction
Y. Cao, S. Hu, Y. Gong, Z. Li, Y. Yang, Q. Liu, and S. Ji · 2022
Cited alongside, same era.
Competition-level code generation with alphacode
Y. Li, D. Choi, J. Chung, N. Kushman, J. Schrittwieser, R. Leblond, T. Eccles, J. Keeling, F. Gimeno, A. Dal Lago, et al · 2022
Cited alongside, same era.
Smartdagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability
Z. Liao, Z. Zheng, X. Chen, and Y. Nan · 2022
Cited alongside, same era.
Benchmarking language models for code syntax understanding
D. Shen, X. Chen, C. Wang, K. Sen, and D. Song · 2022
Cited alongside, same era.
Closest in time.
Toolformer: Language models can teach themselves to use tools
T. Schick, J. Dwivedi-Yu, R. Dessì, R. Raileanu, M. Lomeli, L. Zettlemoyer, N. Cancedda, and T. Scialom · 2023
Closest in time.
Smarter contracts: Detecting vulnerabilities in smart contracts with deep transfer learning
C. Sendner, H. Chen, H. Fereidooni, L. Petzi, J. König, J. Stang, A. Dmitrienko, A.-R. Sadeghi, and F. Koushanfar · 2023
Closest in time.
Assbert: Active and semi-supervised bert for smart contract vulnerability detection
X. Sun, L. Tu, J. Zhang, J. Cai, B. Li, and Y. Wang · 2023
Closest in time.
Y. Sun, D. Wu, Y. Xue, H. Liu, H. Wang, Z. Xu, X. Xie, and Y. Liu · 2023
Closest in time.
Llama: Open and efficient foundation language models
H. Touvron, T. Lavril, G. Izacard, X. Martinet, M.-A. Lachaux, T. Lacroix, B. Rozière, N. Goyal, E. Hambro, F. Azhar, et al · 2023
Closest in time.
Codet5+: Open code large language models for code understanding and generation
Y. Wang, H. Le, A. D. Gotmare, N. D. Bui, J. Li, and S. C. Hoi · 2023
Closest in time.
How effective are neural networks for fixing security vulnerabilities
Y. Wu, N. Jiang, H. V. Pham, T. Lutellier, J. Davis, L. Tan, P. Babkin, and S. Shah · 2023
Closest in time.
The rise and potential of large language model based agents: A survey
Z. Xi, W. Chen, X. Guo, W. He, Y. Ding, B. Hong, M. Zhang, J. Wang, S. Jin, E. Zhou, et al · 2023
Closest in time.
Automated program repair in the era of large pre-trained language models
C. S. Xia, Y. Wei, and L. Zhang · 2023
Closest in time.
Tree of thoughts: Deliberate problem solving with large language models
S. Yao, D. Yu, J. Zhao, I. Shafran, T. L. Griffiths, Y. Cao, and K. Narasimhan · 2023
Closest in time.
Cumulative reasoning with large language models
Y. Zhang, J. Yang, Y. Yuan, and A. C.-C. Yao · 2023
Closest in time.
Demystifying exploitable bugs in smart contracts
Z. Zhang, B. Zhang, W. Xu, and Z. Lin · 2023
Closest in time.
A survey of large language models
W. X. Zhao, K. Zhou, J. Li, T. Tang, X. Wang, Y. Hou, Y. Min, B. Zhang, J. Zhang, Z. Dong, et al · 2023
Closest in time.
Sok: Decentralized finance (defi) attacks
L. Zhou, X. Xiong, J. Ernstberger, S. Chaliasos, Z. Wang, Y. Wang, K. Qin, R. Wattenhofer, D. Song, and A. Gervais · 2023
Closest in time.