A User-Centric Evaluation of Smart Contract Analysis Tools in Decentralised Finance (DeFi). - Gonzalo Faura; Cezary Siewiersky; Irina Tal (Cyber Science, 2022)