Smart contracts are software programs that enable diverse business activities on the
blockchain. Recent research has identified new classes of “machine un-auditable” bugs that …

The decentralized exchange (DEX) leverages smart contracts to trade digital assets for
users on the blockchain. Developers usually develop several smart contracts into one …

The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology
and smart contracts has led to an increased demand for secure and reliable smart contract …

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 …

Defined as an agreement between multiple parties and systematically executed by a
computer code, smart contracts enable trust-less execution without a third party. Despite the …

As decentralized applications (DApps) proliferate, the increased complexity and usage of
smart contracts have heightened their susceptibility to security incidents and financial …

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 computer programs running on blockchains to automate the transaction
execution between users. The absence of contract specifications poses a real challenge to …

Smart contracts are programs that execute transactions involving independent parties and
cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and …

Formal verification has become increasingly crucial in ensuring the accurate and secure
functioning of modern software systems. Given a specification of the desired behaviour, ie a …