DeFi Auditing: Mechanisms, Effectiveness, and User Perceptions. - Ding Feng 008; Rupert Hitsch; Kaihua Qin; Arthur Gervais; Roger Wattenhofer; Yaxing Yao; Ye Wang 017 (IACR Cryptol. ePrint Arch., 2023)