An accounting invariant that balances cross-chain inflows and outflows detects every known attack on bridges in a 10M-transaction dataset and can be added to existing designs for broad protection.
SmartAxe: Detecting Cross-Chain Vul- nerabilities in Bridge Smart Contracts via Fine-Grained Static Analy- sis
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Count of Monte Crypto: Accounting-based Defenses for Cross-Chain Bridges
An accounting invariant that balances cross-chain inflows and outflows detects every known attack on bridges in a 10M-transaction dataset and can be added to existing designs for broad protection.