Demystifying Invariant Effectiveness for Securing Smart Contracts

arXiv:2404.14580v1 Announce Type: new
Abstract: Smart contract transactions associated with security attacks often exhibit distinct behavioral patterns compared with historical benign transactions before the attacking events. While many runtime monitoring and guarding mechanisms have been proposed to validate invariants and stop anomalous transactions on the fly, the empirical effectiveness of the invariants used remains largely unexplored. In this paper, we studied 23 prevalent invariants of 8 categories, which are either deployed in high-profile protocols or endorsed by leading auditing firms …

arxiv attacks contract contracts cs.cr cs.pl cs.se events monitoring patterns runtime runtime monitoring security security attacks smart smart contract smart contracts transactions