mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts business logic.
https://dl.acm.org/doi/abs/10.1145/3691620.3695356
MIT License
6 stars 2 forks source link

feat #128: added two exploits and sequences to cross chain bridge #137

Closed hansstammler closed 5 months ago