Fetching the paper…
Reading the bibliography…
With recent advances in large language models (LLMs), this paper explores the potential of leveraging state-of-the-art LLMs,such as GPT-4, to transfer existing human-written properties (e.g.,those from Certora auditing reports) and automatically generate customized properties for unknown code.
C. Flanagan and K. R. M. Leino, “Houdini, an annotation assistant for esc/java,” in International Symposium of Formal Methods Europe . Springer, 2001, pp. 500–517
2001
Earlier work this paper cites.
2005
Earlier work this paper cites.
2005
Earlier work this paper cites.
B. J. Frey and D. Dueck, “Clustering by passing messages between data points,” science , vol. 315, no. 5814, pp. 972–976, 2007
2007
Earlier work this paper cites.
C. Cadar, D. Dunbar, and D. Engler, “Klee: unassisted and automatic generation of high-coverage tests for complex systems programs,” in Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation , ser. OSDI’08. USA: USENIX Association, 2008, pp. 209–224
2008
Earlier work this paper cites.
G. Wood, “Ethereum: A secure decentralised generalised transaction ledger,” Ethereum project yellow paper , vol. 151, pp. 1–32, 2014
2014
Earlier work this paper cites.
G. Gange, J. A. Navas, P. Schachte, H. Søndergaard, and P. J. Stuckey, “An abstract domain of uninterpreted functions,” in Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17 . Springer, 2016, pp. 85–103
2016
Earlier work this paper cites.
E. Hildenbrandt, M. Saxena, N. Rodrigues, X. Zhu, P. Daian, D. Guth, B. Moore, D. Park, Y. Zhang, A. Stefanescu et al. , “KEVM: A complete formal semantics of the Ethereum virtual machine,” in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) . IEEE, 2018, pp. 204–217
2018
Earlier work this paper cites.
B. Jiang, Y. Liu, and W. Chan, “Contractfuzzer: Fuzzing smart contracts for vulnerability detection,” in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . ACM, 2018, pp. 259–269
2018
Earlier work this paper cites.
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 conference on computer and communications security , 2018, pp. 67–82
2018
Earlier work this paper cites.
2018
Earlier work this paper cites.
T. Chen, Y. Zhang, Z. Li, X. Luo, T. Wang, R. Cao, X. Xiao, and X. Zhang, “Tokenscope: Automatically detecting inconsistent behaviors of cryptocurrency tokens in Ethereum,” in Proceedings of the 2019 ACM SIGSAC conference on computer and communications security , 2019, pp. 1503–1520
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.
J. Johnson, M. Douze, and H. Jégou, “Billion-scale similarity search with GPUs,” IEEE Transactions on Big Data , vol. 7, no. 3, pp. 535–547, 2019
2019
Earlier work this paper cites.
M. Mossberg, F. Manzano, E. Hennenfent, A. Groce, G. Grieco, J. Feist, T. Brunson, and A. Dinaburg, “Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2019, pp. 1186–1189
2019
Earlier work this paper cites.
Echidna , Trail of Bits, 2019. [Online]. Available: https://github.com/trailofbits/echidna
2019
Earlier work this paper cites.
“Binance Smart Chain,” https://docs.binance.org/smart-chain/guides/bsc-intro.html , 2020, introduction of Binance Smart Chain
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 SIGPLAN Conference on Programming Language Design and Implementation , 2020, pp. 454–469
2020
Earlier work this paper cites.
J. Jiao, S. Kan, S.-W. Lin, D. Sanan, Y. Liu, and J. Sun, “Semantic understanding of smart contracts: Executable operational semantics of solidity,” in 2020 IEEE Symposium on Security and Privacy (SP) . IEEE, 2020, pp. 1695–1712
2020
Earlier work this paper cites.
A. Koyuncu, K. Liu, T. F. Bissyandé, D. Kim, J. Klein, M. Monperrus, and Y. Le Traon, “Fixminer: Mining relevant fix patterns for automated program repair,” Empirical Software Engineering , vol. 25, pp. 1980–2024, 2020
2020
Earlier work this paper cites.
T. D. Nguyen, L. H. Pham, J. Sun, Y. Lin, and Q. T. Minh, “sfuzz: An efficient adaptive fuzzer for solidity smart contracts,” in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering , 2020, pp. 778–788
2020
Cited alongside, same era.
A. Permenev, D. Dimitrov, P. Tsankov, D. Drachsler-Cohen, and M. Vechev, “Verx: Safety verification of smart contracts,” in 2020 IEEE symposium on security and privacy (SP) . IEEE, 2020, pp. 1661–1677
2020
Cited alongside, same era.
H. Wang, Y. Liu, Y. Li, S.-W. Lin, C. Artho, L. Ma, and Y. Liu, “Oracle-supported dynamic exploit generation for smart contracts,” IEEE Transactions on Dependable and Secure Computing , 2020
2020
Cited alongside, same era.
B. M. S. Hasan and A. M. Abdulazeez, “A review of principal component analysis algorithm for dimensionality reduction,” Journal of Soft Computing and Data Mining , vol. 2, no. 1, pp. 20–30, 2021
2021
Cited alongside, same era.
Y. Deng, C. S. Xia, H. Peng, C. Yang, and L. Zhang, “Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,” in Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis . Seattle WA USA: ACM, Jul. 2023, p. 423–435
2023
Later among the works it cites.
Y. Deng, C. S. Xia, C. Yang, S. D. Zhang, S. Yang, and L. Zhang, “Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries.” IEEE Computer Society, Nov. 2023, p. 830–842
2023
Later among the works it cites.
Y. Fang, D. Wu, X. Yi, S. Wang, Y. Chen, M. Chen, Y. Liu, and L. Jiang, “Beyond ”protected” and ”private”: An empirical security analysis of custom function modifiers in smart contracts,” in Proc. ACM ISSTA , 2023
2023
Later among the works it cites.
Q. Kong, J. Chen, Y. Wang, Z. Jiang, and Z. Zheng, “Defitainter: Detecting price manipulation vulnerabilities in defi protocols,” in Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis , 2023, pp. 1144–1156
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
J. Kim and S. Kim, “A survey of decentralized finance (defi) based on blockchain,” Journal of the Korea Society of Computer and Information , vol. 26, no. 3, pp. 59–67, 2021
2021
Cited alongside, same era.
J. Stephens, K. Ferles, B. Mariano, S. Lahiri, and I. Dillig, “Smartpulse: Automated checking of temporal properties in smart contracts,” in 2021 IEEE Symposium on Security and Privacy (SP) . IEEE, 2021, pp. 555–571
2021
Cited alongside, same era.
P. Tolmach, Y. Li, S.-W. Lin, and Y. Liu, “Formal analysis of composable defi protocols,” in Financial Cryptography and Data Security. FC 2021 International Workshops: CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers 25 . Springer, 2021, pp. 149–161
2021
Cited alongside, same era.
P. Tolmach, Y. Li, S.-W. Lin, Y. Liu, and Z. Li, “A survey of smart contract formal specification and verification,” ACM Computing Surveys (CSUR) , vol. 54, no. 7, pp. 1–38, 2021
2021
Cited alongside, same era.
2021
Cited alongside, same era.
A. Arora, Kanisk, and S. Kumar, “Smart contracts and nfts: non-fungible tokens as a core component of blockchain to be used as collectibles,” in Cyber Security and Digital Forensics: Proceedings of ICCSDF 2021 . Springer, 2022, pp. 401–422
2022
Cited alongside, same era.
S.-W. Lin, P. Tolmach, Y. Liu, and Y. Li, “Solsee: a source-level symbolic execution engine for solidity,” in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 2022, pp. 1687–1691
2022
Cited alongside, same era.
J. Liu, Y. Chen, B. Tan, I. Dillig, and Y. Feng, “Learning contract invariants using reinforcement learning,” in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , 2022, pp. 1–11
2022
Cited alongside, same era.
2023
Later among the works it cites.
H. Li, Y. Hao, Y. Zhai, and Z. Qian, “Enhancing static analysis for practical bug detection: An llm-integrated approach,” in Proc. ACM Program. Lang. , Nov. 2023
2023
Later among the works it cites.
H. Pearce, B. Tan, B. Ahmad, R. Karri, and B. Dolan-Gavitt, “Examining zero-shot vulnerability repair with large language models,” in 2023 IEEE Symposium on Security and Privacy (SP) . San Francisco, CA, USA: IEEE, May 2023, pp. 2339–2356. [Online]. Available: https://ieeexplore.ieee.org/document/10179324/
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.
2023
Later among the works it cites.
Z. Zhang, B. Zhang, W. Xu, and Z. Lin, “Demystifying exploitable bugs in smart contracts,” in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 2023, pp. 615–627
2023
Later among the works it cites.
“Mythril,” https://github.com/Consensys/mythril , 2024
2024
Closest in time.
“Openzeppelin–a library for secure smart contract development,” https://github.com/OpenZeppelin/openzeppelin-contracts , 2024
2024
Closest in time.
U. Kulsum, H. Zhu, B. Xu, and M. d’Amorim, “A case study of llm for automated vulnerability repair: Assessing impact of reasoning and patch validation feedback,” in Proceedings of the 1st ACM International Conference on AI-Powered Software , 2024, pp. 103–111
2024
Closest in time.
2024
Closest in time.
R. Meng, M. Mirchev, M. Bohme, and A. Roychoudhury, “Large language model guided protocol fuzzing,” in Proceedings of the Symposium on Network and Distributed System Security 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 Proceedings of the IEEE/ACM 46th International Conference on Software Engineering , 2024, pp. 1–13
2024
Closest in time.
S. J. Wang, K. Pei, and J. Yang, “Smartinv: Multimodal learning for smart contract invariant inference,” in 2024 IEEE Symposium on Security and Privacy (SP) . IEEE Computer Society, 2024, pp. 126–126
2024
Closest in time.
L. Zhang, K. Li, K. Sun, D. Wu, Y. Liu, H. Tian, and Y. Liu, “Acfix: Guiding llms with mined common rbac practices for context-aware repair of access control vulnerabilities in smart contracts,” 2024
2024
Closest in time.