Ethainter: a smart contract security analyzer for composite vulnerabilities

L Brent, N Grech, S Lagouvardos, B Scholz… - Proceedings of the 41st …, 2020 - dl.acm.org
Smart contracts on permissionless blockchains are exposed to inherent security risks due to
interactions with untrusted entities. Static analyzers are essential for identifying security risks …

Ityfuzz: Snapshot-based fuzzer for smart contract

C Shou, S Tan, K Sen - Proceedings of the 32nd ACM SIGSOFT …, 2023 - dl.acm.org
Smart contracts are critical financial instruments, and their security is of utmost importance.
However, smart contract programs are difficult to fuzz due to the persistent blockchain state …

[PDF][PDF] Ethscope: A transaction-centric security analytics framework to detect malicious smart contracts on ethereum

L Wu, S Wu, Y Zhou, R Li, Z Wang, X Luo… - arXiv preprint arXiv …, 2020 - static.aminer.cn
As one of the representative blockchain platforms, Ethereum has attracted lots of attacks.
Due to the potential financial loss, there is a pressing need to detect malicious smart …

Shaping blockchain technology for securing supply chains

YZ Lim, J Zhou, M Saerbeck - … AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P …, 2021 - Springer
Purchases in supply chains involve a network of suppliers, manufacturers, logistics or even
customers needed for the procurement of goods or services. These are needed to operate a …

Security vulnerabilities in smart contracts as specifications in linear temporal logic

I Ray - 2021 - uwspace.uwaterloo.ca
Ethereum is a distributed computer with a native cryptocurrency. Like other monetary
transaction based systems, a problem this platform faces is accounts and transactions being …

Survey on Quality Assurance of Smart Contracts

Z Wei, J Sun, Z Zhang, X Zhang, X Yang… - arXiv preprint arXiv …, 2023 - arxiv.org
With the increasing adoption of smart contracts, ensuring their security has become a critical
concern. Numerous vulnerabilities and attacks have been identified and exploited, resulting …