The Hydra Framework for Principled, Automated Bug Bounties
Lorenz Breidenbach, Philip Daian, Florian Tramèr, Ari Juels · IEEE Security & Privacy · 2019
The Hydra Framework is a new, principled approach to modeling and detecting security-critical bugs. Fusing a variant of classical N-version (redundant) programming with automated bug bounty payouts, Hydra provides economically rigorous and cost-effective bounty protections for smart contracts.