@misc{chaliasos2023smart,
  title={Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys},
  author={Stefanos Chaliasos and Marcos Antonios Charalambous and Liyi Zhou and Rafaila Galanopoulou and Arthur Gervais and Dimitris Mitropoulos and Ben Livshits},
  year={2023},
  eprint={2304.02981},
  archivePrefix={arXiv},
  primaryClass={cs.CR},
  url={https://arxiv.org/abs/2304.02981}
}