Zewei Lin, Jiachi Chen, Jingwen Zhang, Zexu Wang, Yuming Feng 0002, Weizhe Zhang, Zibin Zheng. SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking. In 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025. pages 571-583, IEEE, 2025. [doi]
Abstract is missing.