Lorenz Breidenbach*, Phil Daian*, Florian Tramèr* and Ari Juels
IEEE Security & Privacy 2019
We present the Hydra Framework, a new principled approach to modeling and detecting security-critical bugs. By fusing a variant of classical N-version (redundant) programming with automated bug-bounty payouts, the Hydra framework is particularly appealing as a way to provide economically rigorous and cost-effective bounty protections for smart contracts.
| @article{BDTJ19, | |||
| author | = | {Breidenbach, Lorenz and Daian, Phil and Tram{\`e}r, Florian and Juels, Ari}, | |
| title | = | {The Hydra Framework for Principled, Automated Bug Bounties}, | |
| journal | = | {IEEE Security \& Privacy}, | |
| volume | = | {17}, | |
| number | = | {4}, | |
| pages | = | {53--61}, | |
| year | = | {2019}, | |
| url | = | {https://ieeexplore.ieee.org/document/8723652} | |
| } | |||