Privacy-Preserving Blockchain-Based Federated Learning for IoT Devices[J] IEEE INTERNET OF THINGS JOURNAL 2021(8) Zhao, Yang Zhao, Jun Jiang, Linshan Tan, Rui Niyato, Dusit Li, Zengxiang Lyu, Lingjuan Liu, Yingbo
A Survey of Smart Contract Formal Specification and Verification[J] ACM COMPUTING SURVEYS 2021(54) Tolmach, Palina Li, Yi Lin, Shang-Wei Liu, Yang Li, Zengxiang
