19 citations · 26 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
Phase Transition in Taxi Dynamics and Impact of Ridesharing
Bo Yang, Shen Ren, Erika Fille Legara +4
We develop a numerical model using both artificial and empirical inputs to analyze taxi dynamics in an urban setting. More specifically, we quantify how the supply and demand for t…