@misc{indiciaea6224219262f,
  title = {HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts},
  author = {Jens-Rene Giesen and Sebastien Andreina and Michael Rodler and Ghassan O. Karame and Lucas Davi},
  year = {2024},
  url = {https://arxiv.org/abs/2203.00364},
  note = {Source identifier: 2203.00364}
}