TY  - RPRT
TI  - Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
AU  - Stefanos Chaliasos
AU  - Marcos Antonios Charalambous
AU  - Liyi Zhou
AU  - Rafaila Galanopoulou
AU  - Arthur Gervais
AU  - Dimitris Mitropoulos
AU  - Ben Livshits
PY  - 2024
DO  - 10.1145/3597503.3623302
UR  - https://arxiv.org/abs/2304.02981
ID  - 2304.02981
ER  -