A survey of smart contract formal specification and verification

P Tolmach, Y Li, SW Lin, Y Liu, Z Li - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Security challenges and opportunities for smart contracts in Internet of Things: A survey

K Peng, M Li, H Huang, C Wang, S Wan… - IEEE Internet of …, 2021 - ieeexplore.ieee.org
Smart contracts, one of the success stories in blockchain 2.0, have been widely utilized in a
broad range of applications, including those involving Internet of Things (IoT). Given the fast …

A survey of application research based on blockchain smart contract

SY Lin, L Zhang, J Li, L Ji, Y Sun - Wireless Networks, 2022 - Springer
Nowadays, blockchain technology and industry has developed rapidly all over the world,
which is inseparable from continuous innovation and improvement on smart contract …

A research survey on applications of consensus protocols in blockchain

S Kaur, S Chaturvedi, A Sharma… - Security and …, 2021 - Wiley Online Library
The concept of blockchain, widely known as virtual currencies, saw a massive surge in
popularity in recent times. As far as the security of the blockchain is concerned, consensus …

Demystifying exploitable bugs in smart contracts

Z Zhang, B Zhang, W Xu, Z Lin - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Exploitable bugs in smart contracts have caused significant monetary loss. Despite the
substantial advances in smart contract bug finding, exploitable bugs and real-world attacks …

Challenges and common solutions in smart contract development

N Kannengiesser, S Lins, C Sander… - IEEE Transactions …, 2021 - ieeexplore.ieee.org
Smart contracts are a promising means of formalizing and reliably enforcing agreements
between entities using distributed ledger technology (DLT). Research has revealed that a …

Understanding (mis) behavior on the eosio blockchain

Y Huang, H Wang, L Wu, G Tyson, X Luo… - Proceedings of the …, 2020 - dl.acm.org
EOSIO has become one of the most popular blockchain platforms since its mainnet launch in
June 2018. In contrast to the traditional PoW-based systems (eg, Bitcoin and Ethereum) …

EOSFuzzer: Fuzzing eosio smart contracts for vulnerability detection

Y Huang, B Jiang, WK Chan - Proceedings of the 12th Asia-Pacific …, 2020 - dl.acm.org
EOSIO is one typical public blockchain platform. It is scalable in terms of transaction speeds
and has a growing ecosystem supporting smart contracts and decentralized applications …

WANA: Symbolic execution of wasm bytecode for cross-platform smart contract vulnerability detection

D Wang, B Jiang, WK Chan - arXiv preprint arXiv:2007.15510, 2020 - arxiv.org
Many popular blockchain platforms are supporting smart contracts for building decentralized
applications. However, the vulnerabilities within smart contracts have led to serious financial …

Security and performance analysis of quorum-based blockchain consensus protocols

GAF Rebello, GF Camilo… - 2022 6th Cyber …, 2022 - ieeexplore.ieee.org
Consensus protocols for blockchain-based systems are crucial and the most complex part of
the blockchain. The proof-of-work consensus protocol of Bitcoin cryptocurrency is the most …