Exploring security practices of smart contract developers

T Sharma, Z Zhou, A Miller, Y Wang - arxiv preprint arxiv:2204.11193, 2022 - arxiv.org
Smart contracts are self-executing programs that run on blockchains (eg, Ethereum). 680
million US dollars worth of digital assets controlled by smart contracts have been hacked or …

[PDF][PDF] Using my functions should follow my checks: understanding and detecting insecure OpenZeppelin code in smart contracts

H Liu, D Wu, Y Sun, H Wang, K Li… - 33rd USENIX Security …, 2024 - daoyuan14.github.io
OpenZeppelin is a popular framework for building smart contracts. It provides common
libraries (eg, SafeMath), implementations of Ethereum standards (eg, ERC20), and reusable …