Adding 3 vulnerabilities related to three monitored properties

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.

https://arxiv.org/abs/2305.08254

MIT License

5 stars 2 forks source link

Closed mojtaba-eshghie closed 7 months ago

mojtaba-eshghie commented 8 months ago

The injected vulnerabilities will be about:

The information regarding these exploits and vulnerabilites should be added here (as part of the repo before cleanup and a draft for paper):

mojtaba-eshghie commented 7 months ago

The vulnerable examples are added.