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 …

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

B Hu, Z Zhang, J Liu, Y Liu, J Yin, R Lu, X Lin - Patterns, 2021 - cell.com
Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

The roadmap to 6G security and privacy

P Porambage, G Gür, DPM Osorio… - IEEE Open Journal …, 2021 - ieeexplore.ieee.org
Although the fifth generation (5G) wireless networks are yet to be fully investigated, the
visionaries of the 6th generation (6G) echo systems have already come into the discussion …

Echidna: effective, usable, and fast fuzzing for smart contracts

G Grieco, W Song, A Cygan, J Feist… - Proceedings of the 29th …, 2020 - dl.acm.org
Ethereum smart contracts---autonomous programs that run on a blockchain---often control
transactions of financial and intellectual property. Because of the critical role they play, smart …

Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses

J Choi, D Kim, S Kim, G Grieco… - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Unlike traditional software, smart contracts have the unique organization in which a
sequence of transactions shares persistent states. Unfortunately, such a characteristic …

Survey on blockchain-based smart contracts: Technical aspects and future research

TM Hewa, Y Hu, M Liyanage, SS Kanhare… - IEEE …, 2021 - ieeexplore.ieee.org
The industrial and computing research context revolutionized in various directions during
the last decades. The blockchain-based smart contract embraced as a significant research …

Finding permission bugs in smart contracts with role mining

Y Liu, Y Li, SW Lin, C Artho - Proceedings of the 31st ACM SIGSOFT …, 2022 - dl.acm.org
Smart contracts deployed on permissionless blockchains, such as Ethereum, are accessible
to any user in a trustless environment. Therefore, most smart contract applications …

Smartinv: Multimodal learning for smart contract invariant inference

SJ Wang, K Pei, J Yang - 2024 IEEE Symposium on Security and …, 2024 - computer.org
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 …

[HTML][HTML] Decentralised Finance's timocratic governance: The distribution and exercise of tokenised voting rights

T Barbereau, R Smethurst, O Papageorgiou… - Technology in …, 2023 - Elsevier
Ethereum's public distributed ledger can issue tokenised voting rights that are tradable on
crypto-asset exchanges by potentially anyone. Ethereum thus enables global …

Hfcontractfuzzer: Fuzzing hyperledger fabric smart contracts for vulnerability detection

M Ding, P Li, S Li, H Zhang - … of the 25th International Conference on …, 2021 - dl.acm.org
With its unique advantages such as decentralization and immutability, blockchain
technology has been widely used in various fields in recent years. The smart contract …