Quantitative Runtime Monitoring of Ethereum Transaction Attacks. - Xinyao Xu 002; Ziyu Mao; Jianzhong Su; Xingwei Lin; David Basin; Jun Sun 001; Jingyi Wang 004 (WWW, 2025)