Smart contract security: A practitioners' perspective

Z Wan, X Xia, D Lo, J Chen, X Luo… - 2021 IEEE/ACM 43rd …, 2021 - ieeexplore.ieee.org
Smart contracts have been plagued by security incidents, which resulted in substantial
financial losses. Given numerous research efforts in addressing the security issues of smart …

A survey of practical formal methods for security

T Kulik, B Dongol, PG Larsen, HD Macedo… - Formal aspects of …, 2022 - dl.acm.org
In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

Confusum contractum: confused deputy vulnerabilities in ethereum smart contracts

F Gritti, N Ruaro, R McLaughlin, P Bose, D Das… - 32nd USENIX Security …, 2023 - usenix.org
Smart contracts are immutable programs executed in the context of a globally distributed
system known as a blockchain. They enable the decentralized implementation of many …

[PDF][PDF] Smart contract vulnerabilities: Does anyone care

D Perez, B Livshits - arXiv preprint arXiv:1902.06710, 2019 - allquantor.at
In the last year we have seen a great deal of both academic and practical interest in the topic
of vulnerabilities in smart contracts, particularly those developed for the Ethereum …

Finding consensus bugs in ethereum via multi-transaction differential fuzzing

Y Yang, T Kim, BG Chun - 15th USENIX Symposium on Operating …, 2021 - usenix.org
Ethereum is the second-largest blockchain platform next to Bitcoin. In the Ethereum network,
decentralized Ethereum clients reach consensus through transitioning to the same …

The eye of horus: Spotting and analyzing attacks on ethereum smart contracts

C Ferreira Torres, AK Iannillo, A Gervais… - … Conference on Financial …, 2021 - Springer
In recent years, Ethereum gained tremendously in popularity, growing from a daily
transaction average of 10K in January 2016 to an average of 500K in January 2020 …

Smart contract engineering

K Hu, J Zhu, Y Ding, X Bai, J Huang - Electronics, 2020 - mdpi.com
A smart contract is the algorithmic description of a contractual transaction protocol that is
automatically executed together with the information provided by its parties. It is written in a …

[PDF][PDF] 智能合约安全漏洞检测技术研究综述

钱鹏, 刘振广, 何钦铭, 黄步添, 田端正, 王勋 - 软件学报, 2021 - jos.org.cn
智能合约是区块链技术最成功的应用之一, 为实现各式各样的区块链现实应用提供了基础,
在区块链生态系统中处于至关重要的地位. 然而, 频发的智能合约安全事件不仅造成了巨大的 …

Oracle-supported dynamic exploit generation for smart contracts

H Wang, Y Liu, Y Li, SW Lin, C Artho… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Despite the high stakes involved in smart contracts, they are often developed in an
undisciplined manner, leaving the security and reliability of blockchain transactions at risk. In …

RA: Hunting for re-entrancy attacks in ethereum smart contracts via static analysis

Y Chinen, N Yanai, JP Cruz… - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
Ethereum smart contracts are programs that are deployed and executed in a consensus-
based blockchain managed by a peer-to-peer network. Several re-entrancy attacks that aim …