Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …

The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

Security of smart contracts has attracted increasing attention in recent years. Many
researchers have devoted themselves to devising testing tools for vulnerability detection …

Smart contracts, as an added functionality to blockchain, have received increased attention
recently. They are executable programs whose instance and state are stored in blockchain …

Bitcoin's success as a global cryptocurrency has paved the way for the emergence of
blockchain, a revolutionary category of distributed systems. However, the growing popularity …

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 …

WebAssembly (Wasm) smart contracts have shown growing popularity across blockchains
(eg, EOSIO) recently. Similar to Ethereum smart contracts, Wasm smart contracts suffer from …

Programs on public blockchains often handle valuable assets, making them attractive
targets for attack. At the same time, it is challenging to design correct blockchain …

The healthcare industry faces significant challenges in patient identification and data
interoperability due to the use of different electronic medical records (EMRs) and variations …

Integer overflow is a common vulnerability in Ethereum Smart Contracts (ESCs) and often
causes huge economic losses. Smart contracts cannot be changed once it is deployed on …