fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup

Zihao Li, Xinghao Peng, Zheyuan He, Xiapu Luo, Ting Chen

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

Original language	English
Title of host publication	Proceedings of the 31st ACM Conference on Computer and Communications Security (CCS)
Publication status	Published - Oct 2024
Event	ACM Conference on Computer and Communications Security (CCS 2024) - Salt Lake City, U.S.A., United States Duration: 14 Oct 2024 → …

Conference	ACM Conference on Computer and Communications Security (CCS 2024)
Country/Territory	United States
Period	14/10/24 → …

Cite this

@inproceedings{0a036002286e493da79819bb6d476b5d,

title = "fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup",

author = "Zihao Li and Xinghao Peng and Zheyuan He and Xiapu Luo and Ting Chen",

year = "2024",

month = oct,

language = "English",

booktitle = "Proceedings of the 31st ACM Conference on Computer and Communications Security (CCS)",

note = "ACM Conference on Computer and Communications Security (CCS 2024) ; Conference date: 14-10-2024",

}

TY - GEN

T1 - fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup

AU - Li, Zihao

AU - Peng, Xinghao

AU - He, Zheyuan

AU - Luo, Xiapu

AU - Chen, Ting

PY - 2024/10

Y1 - 2024/10

M3 - Conference article published in proceeding or book

BT - Proceedings of the 31st ACM Conference on Computer and Communications Security (CCS)

T2 - ACM Conference on Computer and Communications Security (CCS 2024)

Y2 - 14 October 2024

ER -