LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection

Smart contracts: building blocks for digital markets

Nick Szabo. 1996 · 1996

Earlier work this paper cites.

Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC conference on computer and communications security . 254–269

Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016 · 2016

Earlier work this paper cites.

A survey of attacks on ethereum smart contracts (sok). In Principles of Security and Trust: 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 6 . 164–186

Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. 2017 · 2017

Earlier work this paper cites.

Securify: Practical security analysis of smart contracts. In Proceedings of the 2018 ACM SIGSAC conference on computer and communications security . 67–82

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018 · 2018

Earlier work this paper cites.

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, 8–15

Josselin Feist, Gustavo Grieco, and Alex Groce. 2019 · 2019

Earlier work this paper cites.

A survey on ethereum systems security: Vulnerabilities, attacks, and defenses

Huashan Chen, Marcus Pendleton, Laurent Njilla, and Shouhuai Xu. 2020 · 2020

Earlier work this paper cites.

A survey of the state of explainable AI for natural language processing

Original

Marina Danilevsky, Kun Qian, Ranit Aharonov, Yannis Katsis, Ban Kawas, and Prithviraj Sen. 2020 · 2020

Earlier work this paper cites.

sfuzz: An efficient adaptive fuzzer for solidity smart contracts. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE) . 778–788

Tai D Nguyen, Long H Pham, Jun Sun, Yun Lin, and Quang Tran Minh. 2020 · 2020

Earlier work this paper cites.

Verismart: A highly precise safety verifier for ethereum smart contracts. In 2020 IEEE Symposium on Security and Privacy (SP) . IEEE, 1678–1694

Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh. 2020 · 2020

Earlier work this paper cites.

Eth2vec: learning contract-wide code representations for vulnerability detection on ethereum smart contracts. In Proceedings of the 3rd ACM international symposium on blockchain and secure critical infrastructure . 47–59

Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, and Shingo Okamura. 2021 · 2021

Earlier work this paper cites.

A survey of smart contract formal specification and verification

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, and Zengxiang Li. 2021 · 2021

Earlier work this paper cites.

Confuzzius: A data dependency-aware hybrid fuzzer for smart contracts. In 2021 IEEE European Symposium on Security and Privacy (EuroS&P) . IEEE, 103–119

Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, and Radu State. 2021 · 2021

Earlier work this paper cites.

Smart contract vulnerability detection using graph neural networks. In Proceedings of the Twenty-Ninth International Conference on International Joint Conferences on Artificial Intelligence . 3283–3290

Yuan Zhuang, Zhenguang Liu, Peng Qian, Qi Liu, Xiang Wang, and Qinming He. 2021 · 2021

Earlier work this paper cites.

An empirical study of market inefficiencies in Uniswap and SushiSwap. In International Conference on Financial Cryptography and Data Security (FC) . Springer, 238–249

Jan Arvid Berg, Robin Fritsch, Lioba Heimbach, and Roger Wattenhofer. 2022 · 2022

Earlier work this paper cites.

Gpt-neox-20b: An open-source autoregressive language model

Original

Sid Black, Stella Biderman, Eric Hallahan, Quentin Anthony, Leo Gao, Laurence Golding, Horace He, Connor Leahy, Kyle McDonell, Jason Phang, et al · 2022

Earlier work this paper cites.

Hierarchical text-conditional image generation with clip latents

Original

Aditya Ramesh, Prafulla Dhariwal, Alex Nichol, Casey Chu, and Mark Chen. 2022 · 2022

Earlier work this paper cites.

A systematic evaluation of large language models of code. In Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming . 1–10

Frank F Xu, Uri Alon, Graham Neubig, and Vincent Josua Hellendoorn. 2022 · 2022

Cited alongside, same era.

React: Synergizing reasoning and acting in language models

Original

Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik Narasimhan, and Yuan Cao. 2022 · 2022

Cited alongside, same era.

Large language models and the perils of their hallucinations

Razvan Azamfirei, Sapna R Kudchadkar, and James Fackler. 2023 · 2023

Cited alongside, same era.

When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?

Original

Chong Chen, Jianzhong Su, Jiachi Chen, Yanlin Wang, Tingting Bi, Yanli Wang, Xingwei Lin, Ting Chen, and Zibin Zheng. 2023b · 2023

Cited alongside, same era.

Do you still need a manual smart contract audit?

Autogen: Enabling next-gen llm applications via multi-agent conversation framework

Original

Qingyun Wu, Gagan Bansal, Jieyu Zhang, Yiran Wu, Shaokun Zhang, Erkang Zhu, Beibin Li, Li Jiang, Xiaoyun Zhang, and Chi Wang. 2023 · 2023

Later among the works it cites.

Auto-gpt for online decision making: Benchmarks and additional opinions

Original

Hui Yang, Sifu Yue, and Yunzhong He. 2023 · 2023

Later among the works it cites.

A survey on large language models for software engineering

Original

Quanjun Zhang, Chunrong Fang, Yang Xie, Yaxin Zhang, Yun Yang, Weisong Sun, Shengcheng Yu, and Zhenyu Chen. 2023a · 2023

Later among the works it cites.

Demystifying exploitable bugs in smart contracts. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 615–627

Zhuo Zhang, Brian Zhang, Wen Xu, and Zhiqiang Lin. 2023b · 2023

Later among the works it cites.