Formal automatic verification of security protocols. - Meihua Xiao; Jinyun Xue (GrC, 2006)

The Formal Verification and Improvement of Simplified SET Protocol. - Meihua Xiao; Zilong Wan; Hongling Liu (J. Softw., 2014)

基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN). - Meihua Xiao; Ke Zhu; Chenglin Ma (计算机科学, 2015)

A Multifaceted Study on Eye Contact based Speaker Identification in Three-party Conversations. - Yu Ding 001; Yuting Zhang; Meihua Xiao; Zhigang Deng 001 (CHI, 2017)

Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID. - Wei Li 093; Meihua Xiao; Yanan Li; Yingtian Mei; Xiaomei Zhong; Jimin Tu (NCTCS, 2017)

Formal Analysis and Verification for Three-Party Authentication Protocol of RFID. - Jia Chen 027; Meihua Xiao; Ke Yang 007; Wei Li 093; Xiaomei Zhong (NCTCS, 2018)

Security Proof of KerNeeS Protocol Based on Logic of Events. - Ke Yang 007; Meihua Xiao; Jia Chen 027 (NCTCS, 2018)

Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events. - Ke Yang 007; Meihua Xiao; Jiawen Song; Jia Chen 027; Xiaomei Zhong; Xizhong Wang (IEEE Access, 2018)

Exploiting abstract change pattern from code changes. - Qing Huang; Bo Huang 014; Zhijun Fang; Meihua Xiao; Ying Yu (J. Intell. Fuzzy Syst., 2018)

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols. - Jiawen Song; Meihua Xiao; Ke Yang 007; Xizhong Wang; Xiaomei Zhong (IEEE Access, 2019)

Deriving Security Protocols Based on Protocol Derivation System. - Ke Yang 007; Meihua Xiao; Zifan Song; Ri Ouyang (NCTCS, 2020)

Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL. - Tong Zhang; Meihua Xiao; Ri Ouyang (NCTCS, 2021)

An efficient cutting scheme for a section view of the large-scale infrastructure models. - Guoliang Luo; Rui Wang; Meihua Xiao; Hui Yang 005; Qian Xiao; Jiangyou Zeng; Chenghui Liao (Comput. Aided Civ. Infrastructure Eng., 2022)

Double-Color-Image Compression-Encryption Algorithm Based on Quaternion Multiple Parameter DFrAT and Feature Fusion with Preferable Restoration Quality. - Meihua Xiao; Ruixiao Tan; Huo-Sheng Ye; Lihua Gong; Zhiliang Zhu 003 (Entropy, 2022)

Effective Key Region-Guided Face Detail Optimization Algorithm for 3D Face Reconstruction. - Meihua Xiao; Hanxiao Yi; Ying Huang 003; Guoliang Luo; Qian Xiao (J. Sensors, 2022)

Proving authentication property of PUF-based mutual authentication protocol based on logic of events. - Jiawen Song; Meihua Xiao; Tong Zhang; Haoyang Zhou (Soft Comput., 2022)

Modeling and Verification of WPA3 Security Protocol Based on SPIN. - Meihua Xiao; Shanshan Qiao; Tao Liu; Ke Yang 007; Zehuan Li; Dongming Zhan (NCTCS, 2023)

R3D-SWIN: Use Shifted Window Attention for Single-View 3D Reconstruction. - Chenhuan Li; Meihua Xiao; Zehuan Li; Fangping Chen; Shanshan Qiao; Dingli Wang; Mengxi Gao; Siyi Zhang 009 (CoRR, 2023)

A novel formal logic for formal analysis of timeliness in non-repudiation protocols. - Ke Yang 007; Meihua Xiao; Xiaomei Zhong; Yingqiang Zhong (J. King Saud Univ. Comput. Inf. Sci., 2023)

Single-view 3D reconstruction via dual attention. - Chenghuan Li; Meihua Xiao; Zehuan Li; Fangping Chen; Dingli Wang (PeerJ Comput. Sci., 2024)

A novel symbolic model for analyzing Internet of Things protocols based on event logic. - Zehuan Li; Meihua Xiao; Yangping Xu; Fangping Chen; Huaibin Shao; Sufen Yan (Comput. Secur., 2025)

Formal Analysis of EAP-TLS Protocol Based on Logic of Events. - Meihua Xiao; Weili Cheng; Hongming Fan; Huaibin Shao; Zehuan Li; Yingqiang Zhong (Symmetry, 2025)

Formal Analysis of Rational Exchange Protocols Based on the Improved Buttyan Model. - Meihua Xiao; Lina Chen; Ke Yang; Zehuan Li (Symmetry, 2025)

Formal Verification of Solidity Smart Contracts via Automata Theory. - Meihua Xiao; Yangping Xu; Yongtuo Zhang; Ke Yang; Sufen Yan; Li Cen (Symmetry, 2025)