Meihua Xiao - Publications, H-index & Citations

Back

Meihua Xiao

East China Jiaotong University

8H-index

51Paper Count

194Citation Count

Published Papers 9

Publication Date

Formal Analysis of EAP-TLS Protocol Based on Logic of Events

SYMMETRY-BASEL

IF2.2

2025-09-04

OAAI

Xiao, Meihua; Cheng, Weili; Fan, Hongming; Shao, Huaibin; Li, Zehuan; Zhong, Yingqiang

Save

A novel symbolic model for analyzing Internet of Things protocols based on event logic

COMPUTERS & SECURITY

IF5.4

2025-07-01

OAAI

Li, Zehuan; Xiao, Meihua; Xu, Yangping; Chen, Fangping; Shao, Huaibin; Yan, Sufen

Save

Single-view 3D reconstruction via dual attention

PEERJ COMPUTER SCIENCE

IF2.5

2024-10-22

OAAI

Li, Chenghuan; Xiao, Meihua; Li, Zehuan; Chen, Fangping; Wang, Dingli

Save

Formal analysis of signal protocol based on logic of events theory

SCIENTIFIC REPORTS

IF3.9

2024-09-04

OAAI

Li, Zehuan; Xiao, Meihua; Xu, Ruihan

Save

A formal analysis method for composition protocol based on model checking

SCIENTIFIC REPORTS

IF3.9

2022-05-19

OAAI

Xiao, Meihua; Zhao, Hanyu; Yang, Ke; Ri Ouyang; Song, Weiwei

Save

Proving authentication property of PUF-based mutual authentication protocol based on logic of events

SOFT COMPUTING

IF2.5

2021-11-12

OAAI

Song, Jiawen; Xiao, Meihua; Zhang, Tong; Zhou, Haoyang

Save

An efficient cutting scheme for a section view of the large-scale infrastructure models

COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING

IF9.1

2021-06-28

PREAI

Luo, Guoliang; Wang, Rui; Xiao, Meihua; Yang, Hui; Xiao, Qian; Zeng, Jiangyou; Liao, Chenghui

Save

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Song, Jiawen; Xiao, Meihua; Yang, Ke; Wang, Xizhong; Zhong, Xiaomei

Save

Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events

IEEE ACCESS

IF3.6

2018-01-01

OAAI

Yang, Ke; Xiao, Meihua; Song, Jiawen; Chen, Jia; Zhong, Xiaomei; Wang, Xizhong

Save

Research Directions