HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts.

Jens-Rene Giesen, Sbastien Andreina, Michael Rodler, Ghassan Karame, Lucas Davi

Browse the full ACNS paper archive.