@misc{indiciae8826e402a99e,
  title = {Static Application Security Testing of Consensus-Critical Code in the Cosmos Network},
  author = {Jasper Surmont and Weihong Wang and Tom Van Cutsem},
  year = {2023},
  url = {https://arxiv.org/abs/2308.10613},
  note = {Source identifier: 2308.10613}
}