SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts[J]
EMPIRICAL SOFTWARE ENGINEERING
机构作者
Fang, Chen
文献数量：3
Guo, Yuanbo
文献数量：1
Liang, Rujin
文献数量：1
Lu, Siqi
文献数量：1
Ma, Jiali
文献数量：1
Wang, Yifeng
文献数量：1
Xie, Haodong
文献数量：1
机构文献
A privacy-preserving and verifiable federated learning method based on blockchain[J]
COMPUTER COMMUNICATIONS
A Blockchain-Based Federated Learning Method for Smart Healthcare[J]
COMPUTATIONAL INTELLIGENCE AND NEUROSCIENCE