Formal Analysis of IBC Protocol. - Qiuyang Wei; Xufeng Zhao 003; Xue-Yang Zhu; Wenhui Zhang (ICNP, 2023)

A Smart Contract Development Framework for Maritime Transportation Systems. - Xufeng Zhao 003; Qiuyang Wei; Xue-Yang Zhu; Wenhui Zhang (QRS Companion, 2023)

Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. - Xufeng Zhao 003; Qiuyang Wei; Xue-Yang Zhu; Wenhui Zhang (ICECCS, 2024)