Gonzalo Faura, Cezary Siewiersky, Irina Tal. A User-Centric Evaluation of Smart Contract Analysis Tools in Decentralised Finance (DeFi). In Cyril Onwubiko, Pierangelo Rosati, Aunshul Rege, Arnau Erola, Xavier J. A. Bellekens, Hanan Hindy, Martin Gilje Jaatun, editors, Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media, Cyber Science 2022, Wales, UK, June 20-21, 2022. Springer Proceedings in Complexity, pages 453-476, Springer, 2022. [doi]