Meihua Xiao

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 16

Top Topics

Mutual Authentication

Security Protocols

Formal Analysis

Top Venues

Publications

Meihua Xiao, Shanshan Qiao, Tao Liu, Ke Yang, Zehuan Li, Dongming Zhan
Modeling and Verification of WPA3 Security Protocol Based on SPIN. NCTCS (2023)
Ke Yang, Meihua Xiao, Xiaomei Zhong, Yingqiang Zhong
A novel formal logic for formal analysis of timeliness in non-repudiation protocols. J. King Saud Univ. Comput. Inf. Sci. 35 (8) (2023)
Chenhuan Li, Meihua Xiao, Zehuan Li, Mengxi Gao
R3D-SWIN: Use Shifted Window Attention for Single-View 3D Reconstruction. CoRR (2023)
Meihua Xiao, Ruixiao Tan, Huo-Sheng Ye, Lihua Gong, Zhiliang Zhu
Double-Color-Image Compression-Encryption Algorithm Based on Quaternion Multiple Parameter DFrAT and Feature Fusion with Preferable Restoration Quality. Entropy 24 (7) (2022)
Guoliang Luo, Rui Wang, Meihua Xiao, Hui Yang, Qian Xiao, Jiangyou Zeng, Chenghui Liao
An efficient cutting scheme for a section view of the large-scale infrastructure models. Comput. Aided Civ. Infrastructure Eng. 37 (2) (2022)
Meihua Xiao, Hanxiao Yi, Ying Huang, Guoliang Luo, Qian Xiao
Effective Key Region-Guided Face Detail Optimization Algorithm for 3D Face Reconstruction. J. Sensors 2022 (2022)
Jiawen Song, Meihua Xiao, Tong Zhang, Haoyang Zhou
Proving authentication property of PUF-based mutual authentication protocol based on logic of events. Soft Comput. 26 (2) (2022)
Tong Zhang, Meihua Xiao, Ri Ouyang
Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL. NCTCS (2021)
Ke Yang, Meihua Xiao, Zifan Song, Ri Ouyang
Deriving Security Protocols Based on Protocol Derivation System. NCTCS (2020)
Jiawen Song, Meihua Xiao, Ke Yang, Xizhong Wang, Xiaomei Zhong
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols. IEEE Access 7 (2019)
Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong
Formal Analysis and Verification for Three-Party Authentication Protocol of RFID. NCTCS (2018)
Ke Yang, Meihua Xiao, Jiawen Song, Jia Chen, Xiaomei Zhong, Xizhong Wang
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events. IEEE Access 6 (2018)
Ke Yang, Meihua Xiao, Jia Chen
Security Proof of KerNeeS Protocol Based on Logic of Events. NCTCS (2018)
Qing Huang, Bo Huang, Zhijun Fang, Meihua Xiao, Ying Yu
Exploiting abstract change pattern from code changes. J. Intell. Fuzzy Syst. 35 (2) (2018)
Yu Ding, Yuting Zhang, Meihua Xiao, Zhigang Deng
A Multifaceted Study on Eye Contact based Speaker Identification in Three-party Conversations. CHI (2017)
Wei Li, Meihua Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu
Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID. NCTCS (2017)
Meihua Xiao, Ke Zhu, Chenglin Ma
基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN). 计算机科学 42 (7) (2015)
Meihua Xiao, Zilong Wan, Hongling Liu
The Formal Verification and Improvement of Simplified SET Protocol. J. Softw. 9 (9) (2014)
Meihua Xiao, Jinyun Xue
Formal automatic verification of security protocols. GrC (2006)