collaborators

1 paper

cs.CR2025

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts

Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2

Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications…