@misc{indiciaee8c36b7b435b,
  title = {Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?},
  author = {Stefanos Chaliasos and Marcos Antonios Charalambous and Liyi Zhou and Rafaila Galanopoulou and Arthur Gervais and Dimitris Mitropoulos and Ben Livshits},
  year = {2024},
  doi = {10.1145/3597503.3623302},
  url = {https://arxiv.org/abs/2304.02981},
  note = {Source identifier: 2304.02981}
}