Count of Monte Crypto: Accounting-based Defenses for Cross-Chain Bridges. - Enze Liu 001; Elisa Luo; Jian Chen Yan; Katherine Izhikevich; Stewart Grant; Deian Stefan; Geoffrey M. Voelker; Stefan Savage (CoRR, 2024)