Not Just Summing: The Identifier Leakage of Private-Join-and-Compute and its Improvement.
IEEE Trans. Dependable Secur. Comput., 2024
The Hybrid Trip Destination Prediction Model of Vehicles Based on Autoencoder and High-Order Interaction Features.
IEEE Trans. Intell. Transp. Syst., August, 2023
Formal Verification of Smart Contract Based on Timed Colored Petri Net.
Proceedings of the 11th International Conference on Networks, Communication and Computing, 2022
A Framework for Formal Transformation and Analysis of Smart Contract Code.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022