With the blooming of blockchain-based smart contracts in decentralized applications, the
security problem of smart contracts has become a critical issue, as vulnerable contracts have …

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 …

Smart contracts play a vital role in the Ethereum ecosystem. Due to the prevalence of kinds
of security issues in smart contracts, the smart contract verification is urgently needed, which …

Smart contracts are gaining popularity as a means to support transparent, traceable, and self-
executing decentralized applications, which enable the exchange of value in a trustless …

Smart contracts are susceptible to critical vulnerabilities. Hybrid dynamic analyses, such as
concolic execution assisted fuzzing and foundation model assisted fuzzing, have emerged …

Background: The field of Artificial Intelligence has undergone cyclical periods of growth and
decline, known as AI summers and winters. Currently, we are in the third AI summer …

Smart contracts are essential applications for blockchains, which have been used in a wide
variety of fields and are handling large amounts of valuable assets. Once deployed on the …

Decentralized Finance enables many novel applications that were impossible in traditional
finances. However, it also introduces new types of vulnerabilities, such as composability …

Blockchain smart contracts have emerged as a transformative force in the digital realm,
spawning a diverse range of compelling applications. Since solidity smart contracts across …

Symbolic execution is one of the most popular technologies for detecting vulnerabilities in
smart contracts, however, the path explosion problem and the timeout problem in solving …