A Framework for Formal Transformation and Analysis of Smart Contract Code. - Hanjie Dong; Yaqiong He; Hongwei Tao; Qianheng Duan (DSA, 2022)

Formal Verification of Smart Contract Based on Timed Colored Petri Net. - Yaqiong He; Hanjie Dong; Runliu Wang; Huaiguang Wu (ICNCC, 2022)

The Hybrid Trip Destination Prediction Model of Vehicles Based on Autoencoder and High-Order Interaction Features. - Yuchu He; Zhijuan Jia; Mingsheng Hu; Geng Zhang; Hanjie Dong (IEEE Trans. Intell. Transp. Syst., 2023)

SyntaxBridge: Protocol Description Transformer for Enhanced Formal Analysis of Security Protocols. - Liujia Cai; Tong Yu; Yumeng Li; Siqi Lu; Hanjie Dong; Guangying Cai; Guangsong Li; Yongjuan Wang (TrustCom, 2024)

Not Just Summing: The Identifier Leakage of Private-Join-and-Compute and its Improvement. - Siqi Lu; Hanjie Dong; Zhaoxuan Li; Laurence T. Yang (IEEE Trans. Dependable Secur. Comput., 2024)