@misc{indiciae993be70d15cb,
  title = {Do you still need a manual smart contract audit?},
  author = {Isaac David and Liyi Zhou and Kaihua Qin and Dawn Song and Lorenzo Cavallaro and Arthur Gervais},
  year = {2023},
  url = {https://arxiv.org/abs/2306.12338},
  note = {Source identifier: 2306.12338}
}