StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract.
Zongwei Li|Wenkai Li|Xiaoqi Li|Yuqing Zhang
| Anthology ID: | DBLP:conf/www/LiL0Z24 |
|---|---|
| Volume: | Companion Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, Singapore, May 13-17, 2024 |
| Year: | 2024 |
| Venue: | The Web Conference (WWW) |
| Publisher: | ACM |
| Pages: | 810-813 |
| URL: | https://doi.org/10.1145/3589335.3651562 |
| DOI: | https://doi.org/10.1145/3589335.3651562 |
| DBLP: | conf/www/LiL0Z24 |
| BibTeX: |
@inproceedings{li-2024-stateguard,
author = {Zongwei Li and
Wenkai Li and
Xiaoqi Li and
Yuqing Zhang},
editor = {Tat-Seng Chua and
Chong-Wah Ngo and
Roy Ka-Wei Lee and
Ravi Kumar and
Hady Wirawan Lauw},
title = {{StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract}},
booktitle = {{Companion Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, Singapore, May 13-17, 2024}},
pages = {810--813},
publisher = {ACM},
year = {2024},
url = {https://doi.org/10.1145/3589335.3651562},
doi = {https://doi.org/10.1145/3589335.3651562}
}