7 citations · 7 across the 2 of their papers we have counts for
3 papers
cs.SE2020
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin +2
A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important ac…
cs.DC2020
Two-Phase Multi-Party Computation Enabled Privacy-Preserving Federated Learning
Renuga Kanagavelu, Zengxiang Li, Juniarto Samsudin +7
Countries across the globe have been pushing strict regulations on the protection of personal or private data collected. The traditional centralized machine learning method, where…
cs.CR2020★ 7 cited
Privacy-preserving Weighted Federated Learning within Oracle-Aided MPC Framework
Huafei Zhu, Zengxiang Li, Mervyn Cheah +1
This paper studies privacy-preserving weighted federated learning within the oracle-aided multi-party computation (MPC) framework. The contribution of this paper mainly comprises t…