Resource Allocation and Consensus of Blockchains in Pervasive Edge Computing Environments[J] IEEE TRANSACTIONS ON MOBILE COMPUTING 2022(21) Huang, Yaodong Zhang, Jiarui Duan, Jun Xiao, Bin Ye, Fan Yang, Yuanyuan
Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities[J] COMPUTERS & SECURITY 2020(88) Singh, Amritraj Parizi, Reza M. Zhang, Qi Choo, Kim-Kwang Raymond Dehghantanha, Ali
