A Formal Analysis Method with Reasoning for Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (CIS, 2016)

A Supporting Environment for Formal Analysis of Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (MUE/FutureTech, 2017)

Primitive Constituent Elements of Cryptographic Protocols. - Sho Ishibashi; Jingchen Yan; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. - Jingchen Yan; Sho Ishibashi; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. - Jingchen Yan; Yating Wang; Yuichi Goto; Jingde Cheng (C2SI, 2019)

A RMF and AHP-Based Approach to Risk Assessment of Power Internet of Things. - Kunchang Li 001; Runhua Shi; Jingchen Yan; Chenxi Cai; Mingyu Sun; Jianbin Li (DASC/PiCom/CBDCom/CyberSciTech, 2020)

Research on Federated Learning and Its Security Issues for Load Forecasting. - Mingyu Sun; Jianbin Li; Yuqi Ren; Suwan Fang; Jingchen Yan (ICCMS, 2021)

Knowledge graph question answering based on TE-BiLTM and knowledge graph embedding. - Jianbin Li; Ketong Qu; Kunchang Li 001; Zhiqiang Chen; Suwan Fang; Jingchen Yan (ICIAI, 2021)

TEBC-Net: An Effective Relation Extraction Approach for Simple Question Answering over Knowledge Graphs. - Jianbin Li; Ketong Qu; Jingchen Yan; Liting Zhou; Long Cheng 003 (KSEM, 2021)

Energy-aware systems for real-time job scheduling in cloud data centers: A deep reinforcement learning approach. - Jingchen Yan; Yifeng Huang; Aditya Gupta; Anubhav Gupta; Cong Liu 003; Jianbin Li; Long Cheng 003 (Comput. Electr. Eng., 2022)

A federated learning model based on filtering strategy. - Jingchen Yan; Mingyu Sun; Zhe Du; Xin Tong; Jianbin Li (World Wide Web (WWW), 2023)