1 paper
Jens-Rene Giesen, Sebastien Andreina, Michael Rodler +2
Developing secure smart contracts remains a challenging task. Existing approaches are either impractical or leave the burden to developers for fixing bugs. In this paper, we propos…