The introduction of smart contracts has significantly advanced the state-of-the-art in
cryptocurrencies. Smart contracts are programs who live on the blockchain, governing the …

The use of blockchains for automated and adversarial trading has become commonplace.
However, due to the transparent nature of blockchains, an adversary is able to observe any …

We present SmarTest, a novel symbolic execution technique for effectively hunting
vulnerable transaction sequences in smart contracts. Because smart contracts are stateful …

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

Smart contracts are prone to various vulnerabilities, leading to substantial financial losses
over time. Current analysis tools mainly target vulnerabilities with fixed control or dataflow …

The key issue in the field of smart contract security is efficient and rapid vulnerability
detection in smart contracts. Most of the existing detection methods can only detect the …

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

Reentrancy bugs, one of the most severe vulnerabilities in smart contracts, have caused
huge financial loss in recent years. Researchers have proposed many approaches to …

The present increase of attention toward blockchain-based systems is currently reaching a
tipping point with the corporate focus shifting from exploring the technology potential to …

Decentralized finance (DeFi) enables crypto-asset holders to conduct complex financial
transactions, while maintaining control over their assets in the blockchain ecosystem …