TY  - RPRT
TI  - Demystifying Invariant Effectiveness for Securing Smart Contracts
AU  - Zhiyang Chen
AU  - Ye Liu
AU  - Sidi Mohamed Beillahi
AU  - Yi Li
AU  - Fan Long
PY  - 2024
DO  - 10.1145/366078
UR  - https://arxiv.org/abs/2404.14580
ID  - 2404.14580
ER  -