Work

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts

Year: 2024

Type: conference-paper

Abstract: Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications of smart contracts. HighGuard employs dynamic condition response (DCR) graph models as formal specifications to verify contract execution against these models. It is capable of operating in a cross-chain environment for detecting business logic flaws across different blockchain platforms. We demonstrate HighGuard's effectiveness in identifying deviations from specified behaviors in smart contracts without requiring code instrumentation or incurring additional gas costs. By using precise specifications in the monitor, HighGuard achieves detection without false positives. Our evaluation, involving 54 exploits, confirms HighGuard's effectiveness in detecting business logic vulnerabilities.

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3691620.3695356

Authors: Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas Hildebrandt, Gerardo Schneider

Institutions: KTH Royal Institute of Technology, Chalmers University of Technology, University of Copenhagen, University of Gothenburg

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4403536895

FWCI: 1.963

Cites: 17

Cited by: 6

Related to: 10