Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang. Formal Analysis of IBC Protocol. In 31st IEEE International Conference on Network Protocols, ICNP 2023, Reykjavik, Iceland, October 10-13, 2023. pages 1-11, IEEE, 2023. [doi]
@inproceedings{WeiZZZ23-0,
title = {Formal Analysis of IBC Protocol},
author = {Qiuyang Wei and Xufeng Zhao and Xue-Yang Zhu and Wenhui Zhang},
year = {2023},
doi = {10.1109/ICNP59255.2023.10355573},
url = {https://doi.org/10.1109/ICNP59255.2023.10355573},
researchr = {https://researchr.org/publication/WeiZZZ23-0},
cites = {0},
citedby = {0},
pages = {1-11},
booktitle = {31st IEEE International Conference on Network Protocols, ICNP 2023, Reykjavik, Iceland, October 10-13, 2023},
publisher = {IEEE},
isbn = {979-8-3503-0322-3},
}