Xufeng Zhao

Affiliations:

University of Chinese Academy of Sciences, Hangzhou Institute for Advanced Study, Beijing, China
Chinese Academy of Sciences, State Key Laboratory of Computer Science, Institute of Software, Beijing, China

According to our database¹, Xufeng Zhao authored at least 3 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

A Smart Contract Development Framework for Maritime Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Formal Analysis of IBC Protocol.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Network Protocols, 2023