ReenSAT: Reentrancy Vulnerability Detection in Smart Contracts Using Semantic-Enhanced SAT Evaluation

L He, X Zhao, Y Wang - IEEE Transactions on Reliability, 2024 - ieeexplore.ieee.org
Reentrancy, a specific vulnerability in smart contracts, frequently leads to security incidents.
However, existing detection tools encounter challenges related to low precision, limited …

[PDF][PDF] A Source-Code-Based Taxonomy for Ethereum Smart Contracts.

A Hofmann, J Kolb, L Becker, A Winkelmann - ICIS, 2021 - researchgate.net
As blockchain gained a lot of attention in IS research since its emergence, development into
networks and applications have made it extremely relevant for multiple industry branches …

Challenges and Solution Approaches for Blockchain Technology

A Hofmann - 2022 - opus.bibliothek.uni-wuerzburg.de
The digital transformation facilitates new forms of collaboration between companies along
the supply chain and between companies and consumers. Besides sharing information on …