Linked Presentation: Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts