TY  - RPRT
TI  - HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
AU  - Jens-Rene Giesen
AU  - Sebastien Andreina
AU  - Michael Rodler
AU  - Ghassan O. Karame
AU  - Lucas Davi
PY  - 2024
UR  - https://arxiv.org/abs/2203.00364
ID  - 2203.00364
ER  -