A Novel Resource-Saving and Traceable Tea Production and Supply Chain Based on Blockchain and IoT[J] IEEE ACCESS 2023(11) Xu, Xiaofeng Bao, Xianglin Yi, Haodong Wu, Jun Han, Jinglei
Comprehensive Formal Modeling and Automatic Vulnerability Detection for a Bitcoin-Compatible Mixing Protocol[J] IEEE ACCESS 2022(10) Bao, Xianglin Xu, Xiaofeng Zhang, Ping Liu, Tao