@InProceedings{chaliasos24tools,
  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 Benjamin
                 Livshits",
  year =         "2024",
  month =        apr,
  booktitle =    "Proceedings of the International Conference on
                 Software Engineering {(ICSE)}",
}