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
Efficient QoS Support for Robust Resource Allocation in Blockchain-Based Femtocell Networks[J] IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2020(16) Liu, Zhixin Gao, Lu Liu, Yang Guan, Xinping Ma, Kai Wang, Yu
Identification and Resolution for Industrial Internet: Architecture and Key Technology[J] IEEE INTERNET OF THINGS JOURNAL 2022(9) Liu, Yang Chi, Cheng Zhang, Yuwen Tang, Tong
Virtual Reality Streaming in Blockchain-Enabled Fog Radio Access Networks[J] IEEE INTERNET OF THINGS JOURNAL 2022(9) Liu, Yang Chang, Qingan Peng, Mugen Dang, Tian Xiong, Wanling
PERCE: A Permissioned Redactable Credentials Scheme for a Period of Membership[J] IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY 2023(18) Liu, Yang He, Debiao Feng, Qi Luo, Min Choo, Kim-Kwang Raymond
Leveraging digital capabilities toward a circular economy: Reinforcing sustainable supply chain management with Industry 4.0 technologies[J] COMPUTERS & INDUSTRIAL ENGINEERING 2023(178) Liu, Lingdi Song, Wenyan Liu, Yang
Consensus aware manufacturing service collaboration optimization under blockchain based Industrial Internet platform[J] COMPUTERS & INDUSTRIAL ENGINEERING 2019(135) Zhang, Yongping Zhang, Pengyuan Tao, Fei Liu, Yang Zuo, Ying
An Efficient Decentralized Key Management Mechanism for VANET With Blockchain[J] IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY 2020(69) Ma, Zhuo Zhang, Junwei Guo, Yongzhen Liu, Yang Liu, Ximeng He, Wei
SVScanner: Detecting smart contract vulnerabilities via deep semantic extraction[J] JOURNAL OF INFORMATION SECURITY AND APPLICATIONS 2023(75) Zhang, Hengyan Zhang, Weizhe Feng, Yuming Liu, Yang
A Novel PoW Scheme Implemented by Probabilistic Signature for Blockchain[J] COMPUTER SYSTEMS SCIENCE AND ENGINEERING 2021(39) Mi, Bo Weng, Yuan Huang, Darong Liu, Yang Gan, Yuqing
