Fetching the paper…
Reading the bibliography…
With the development of blockchain technology, smart contracts have become an important component of blockchain applications.
Reinforcement learning: A survey
Leslie Pack Kaelbling, Michael L Littman, and Andrew W Moore. 1996 · 1996
Earlier work this paper cites.
Formalizing and securing relationships on public networks
Nick Szabo. 1997 · 1997
Earlier work this paper cites.
Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security . ACM, 254–269
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016a · 2016
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. 2016b · 2016
Earlier work this paper cites.
Introducing Ethereum and solidity . Vol. 1
Chris Dannen. 2017 · 2017
Earlier work this paper cites.
Vandal: A Scalable Security Analysis Framework for Smart Contracts
Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018 · 2018
Earlier work this paper cites.
ERC-721: Non-Fungible Token Standard
William Entriken, Dieter Shirley, Jacob Evans, and Nastassia Sachs. 2018 · 2018
Earlier work this paper cites.
Universal language model fine-tuning for text classification
Jeremy Howard and Sebastian Ruder. 2018 · 2018
Earlier work this paper cites.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . ACM, 259–269
Bo Jiang, Ye Liu, and WK Chan. 2018 · 2018
Earlier work this paper cites.
Zeus: Analyzing safety of smart contracts. In NDSS . 1–12
Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018 · 2018
Earlier work this paper cites.
Finding the greedy, prodigal, and suicidal contracts at scale. In Proceedings of the 34th annual computer security applications conference . 653–663
Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018 · 2018
Earlier work this paper cites.
SafeMath
openzeppelin solidity. 2018 · 2018
Earlier work this paper cites.
Smartcheck: Static analysis of ethereum smart contracts. In Proceedings of the 1st international workshop on emerging trends in software engineering for blockchain . 9–16
Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, and Yaroslav Alexandrov. 2018 · 2018
Earlier work this paper cites.
Osiris: Hunting for integer bugs in ethereum smart contracts. In Proceedings of the 34th annual computer security applications conference . 664–676
Christof Ferreira Torres, Julian Schütte, and Radu State. 2018 · 2018
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. 2018a · 2018
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 (CCS ’18) . Association for Computing Machinery, New York, NY, USA, 67–82
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian B"unzli, and Martin Vechev. 2018b · 2018
Earlier work this paper cites.
Decentralized Application Security Project Top 10 of 2018
David Wong and Mason Hemmel. 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. 2019a · 2019
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. 2019b · 2019
Earlier work this paper cites.
Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) . 1186–1189
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019 · 2019
Earlier work this paper cites.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh. 2019 · 2019
Earlier work this paper cites.
The art of the scam: Demystifying honeypots in ethereum smart contracts. In 28th USENIX Security Symposium (USENIX Security 19) . 1591–1607
Christof Ferreira Torres, Mathis Steichen, et al · 2019
Earlier work this paper cites.
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020 . Association for Computing Machinery, New York, NY, USA, 454–469
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis. 2020 · 2020
Earlier work this paper cites.
Empirical review of automated analysis tools on 47,587 Ethereum smart contracts. In Proceedings of the ACM/IEEE 42nd International conference on software engineering . 530–541
Thomas Durieux, João F. Ferreira, Rui Abreu, and Pedro Cruz. 2020 · 2020
Cited alongside, same era.
SmartBugs: A framework to analyze solidity smart contracts. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering . 1349–1352
João F Ferreira, Pedro Cruz, Thomas Durieux, and Rui Abreu. 2020 · 2020
Cited alongside, same era.
ETHBMC: A bounded model checker for smart contracts. In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, 2757–2774
Joel Frank, Cornelius Aschermann, and Thorsten Holz. 2020 · 2020
Cited alongside, same era.
Echidna: Effective, usable, and fast fuzzing for smart contracts. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis . ACM, 787–801
Gustavo Grieco, Will Song, and Artur Cygan. 2020 · 2020
Cited alongside, same era.
Role of ChatGPT in Computer Programming
S. Biswas. 2023 · 2023
Closest in time.
To Healthier Ethereum: A Comprehensive and Iterative Smart Contract Weakness Enumeration
Jiachi Chen, Mingyuan Huang, Zewei Lin, Peilin Zheng, and Zibin Zheng. 2023 · 2023
Closest in time.
Do you still need a manual smart contract audit?
Isaac David, Liyi Zhou, Kaihua Qin, Dawn Song, Lorenzo Cavallaro, and Arthur Gervais. 2023 · 2023
Closest in time.
Automated repair of programs from large language models. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 1469–1481
Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, and Shin Hwei Tan. 2023 · 2023
Closest in time.
Blockchain Large Language Models
Yu Gai, Liyi Zhou, Kaihua Qin, Dawn Song, and Arthur Gervais. 2023 · 2023
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Smart Contract Vulnerability Analysis and Security Audit
Daojing He, Zhi Deng, Yuxing Zhang, Sammy Chan, Yao Cheng, and Nadra Guizani. 2020 · 2020
Cited alongside, same era.
Retrieval-augmented generation for knowledge-intensive nlp tasks
Patrick Lewis, Ethan Perez, Aleksandra Piktus, Fabio Petroni, Vladimir Karpukhin, Naman Goyal, Heinrich Küttler, Mike Lewis, Wen-tau Yih, Tim Rocktäschel, et al · 2020
Cited alongside, same era.
VerX: Safety Verification of Smart Contracts. In 2020 IEEE Symposium on Security and Privacy (SP) . 1661–1677
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, and Martin Vechev. 2020 · 2020
Cited alongside, same era.
Smart Contract: Attacks and Protections
Sarwar Sayeed, Hector Marco-Gisbert, and Tom Caira. 2020 · 2020
Cited alongside, same era.
Harvey: A greybox fuzzer for smart contracts. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . ACM, 1398–1409
Valentin W"ustholz and Maria Christakis. 2020 · 2020
Cited alongside, same era.
An overview on smart contracts: Challenges, advances and platforms
Zibin Zheng, Shaoan Xie, Hong-Ning Dai, Weili Chen, Xiangping Chen, Jian Weng, and Muhammad Imran. 2020 · 2020
Cited alongside, same era.
Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 227–239
Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang Kil Cha. 2021 · 2021
Cited alongside, same era.
Consensys/mythril: Security analysis tool for evm bytecode
ConsenSys. 2021 · 2021
Cited alongside, same era.
Closest in time.
OpenAGI: When LLM Meets Domain Experts. In Advances in Neural Information Processing Systems , A. Oh, T. Neumann, A. Globerson, K. Saenko, M. Hardt, and S. Levine (Eds.), Vol. 36. Curran Associates, Inc., 5539–5568
Yingqiang Ge, Wenyue Hua, Kai Mei, jianchao ji, Juntao Tan, Shuyuan Xu, Zelong Li, and Yongfeng Zhang. 2023 · 2023
Closest in time.
Achecker: Statically detecting smart contract access control vulnerabilities. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 945–956
Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman. 2023 · 2023
Closest in time.
Repair Is Nearly Generation: Multilingual Program Repair with LLMs
Harshit Joshi, José Cambronero Sanchez, Sumit Gulwani, Vu Le, Gust Verbruggen, and Ivan Radiček. 2023 · 2023
Closest in time.
Finding Failure-Inducing Test Cases with ChatGPT. In IEEE
T. Li, W. Zong, Y. Wang, H. Tian, Y. Wang, S. Cheung, and J. Kramer. 2023 · 2023
Closest in time.
Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing
Peng Liu, Weizhen Yuan, Jie Fu, Zhengbao Jiang, Hiroaki Hayashi, and Graham Neubig. 2023 · 2023
Closest in time.
gpt-3-vs-gpt-3-5
Itemperance Consulting Pvt. Ltd. 2023 · 2023
Closest in time.
The Scope of ChatGPT in Software Engineering: A Thorough Investigation
Wei Ma, Shangqing Liu, Wenhan Wang, Qiang Hu, Ye Liu, Cen Zhang, Liming Nie, and Yang Liu. 2023 · 2023
Closest in time.
Towards Automated Security Analysis of Smart Contracts Based on Execution Property Graph
Kaihua Qin, Zhe Ye, Zhun Wang, Weilin Li, Liyi Zhou, Chao Zhang, Dawn Song, and Arthur Gervais. 2023b · 2023
Closest in time.
Code Llama: Open Foundation Models for Code
Baptiste Rozière, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Tal Remez, Jérémy Rapin, et al · 2023
Closest in time.
Use Chat GPT to Solve Programming Bugs
Nigar M. Shafiq Surameery and Mohammed Y. Shakor. 2023 · 2023
Closest in time.
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, and Yang Liu. 2023 · 2023
Closest in time.
LLaMA: Open and Efficient Foundation Language Models
Hugo Touvron, Thibaut Lavril, Gautier Izacard, Xavier Martinet, Marie-Anne Lachaux, Timothée Lacroix, Baptiste Rozière, Naman Goyal, Eric Hambro, Faisal Azhar, Aurelien Rodriguez, Armand Joulin, Edouard Grave, and Guillaume Lample. 2023 · 2023
Closest in time.
Software testing with large language model: Survey, landscape, and vision
Junjie Wang, Yuchao Huang, Chunyang Chen, Zhe Liu, Song Wang, and Qing Wang. 2023 · 2023
Closest in time.
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum. In IEEE
Z. Zheng, N. Zhang, J. Su, Z. Zhong, M. Ye, and J. Chen. 2023 · 2023
Closest in time.
Dissecting Human and LLM Preferences
Junlong Li, Fan Zhou, Shichao Sun, Yikai Zhang, Hai Zhao, and Pengfei Liu. 2024 · 2024
Closest in time.
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis. In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (, Lisbon, Portugal,) (ICSE ’24) . Association for Computing Machinery, New York, NY, USA, Article 166, 13 pages
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, and Yang Liu. 2024 · 2024
Closest in time.
Llmeval: A preliminary study on how to evaluate large language models. In Proceedings of the AAAI Conference on Artificial Intelligence , Vol. 38. 19615–19622
Yue Zhang, Ming Zhang, Haipeng Yuan, Shichun Liu, Yongyao Shi, Tao Gui, Qi Zhang, and Xuanjing Huang. 2024 · 2024
Closest in time.