Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits.

Serge Demeyer, Henrique Rocha, Darin Verheijke

Browse the full ISoLA paper archive.