3 papers
cs.GT2026
Your Loss is My Gain: Low Stake Attacks on Liquid Staking Pools
Sen Yang, Aviv Yaish, Arthur Gervais +1
Permissionless Proof-of-Stake (PoS) economic security is predicated on the high cost of violating consensus safety or liveness. We show that liquid staking introduces additional ri…
cs.CR2025
Enhancing Smart Contract Security Analysis with Execution Property Graphs
Kaihua Qin, Zhe Ye, Zhun Wang +5
Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This tren…
cs.CR2025
Blockchain Amplification Attack
Taro Tsuchiya, Liyi Zhou, Kaihua Qin +2
Strategies related to the blockchain concept of Extractable Value (MEV/BEV), such as arbitrage, front-, or back-running create strong economic incentives for network nodes to reduc…