Meihua Xiao

According to our database, Meihua Xiao authored at least 19 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A novel formal logic for formal analysis of timeliness in non-repudiation protocols.

Ke Yang, Meihua Xiao, Xiaomei Zhong, Yingqiang Zhong

J. King Saud Univ. Comput. Inf. Sci., September, 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

CoRR, 2023

Modeling and Verification of WPA3 Security Protocol Based on SPIN.

Meihua Xiao, Shanshan Qiao, Tao Liu, Ke Yang, Zehuan Li, Dongming Zhan

Proceedings of the Theoretical Computer Science - 41st National Conference, 2023

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

Effective Key Region-Guided Face Detail Optimization Algorithm for 3D Face Reconstruction.

Meihua Xiao, Hanxiao Yi, Ying Huang, Guoliang Luo, Qian Xiao

J. Sensors, 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

Entropy, 2022

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

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

Comput. Aided Civ. Infrastructure Eng., 2022

2021

Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL.

Tong Zhang, Meihua Xiao, Ri Ouyang

Proceedings of the Theoretical Computer Science, 2021

2020

Deriving Security Protocols Based on Protocol Derivation System.

Ke Yang, Meihua Xiao, Zifan Song, Ri Ouyang

Proceedings of the Theoretical Computer Science - 38th National Conference, 2020

2019

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

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

IEEE Access, 2019

2018

Exploiting abstract change pattern from code changes.

Qing Huang, Bo Huang, Zhijun Fang, Meihua Xiao, Ying Yu

J. Intell. Fuzzy Syst., 2018

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

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

IEEE Access, 2018

Security Proof of KerNeeS Protocol Based on Logic of Events.

Ke Yang, Meihua Xiao, Jia Chen

Proceedings of the Theoretical Computer Science - 36th National Conference, 2018

Formal Analysis and Verification for Three-Party Authentication Protocol of RFID.

Jia Chen, Meihua Xiao, Ke Yang, Wei Li, Xiaomei Zhong

Proceedings of the Theoretical Computer Science - 36th National Conference, 2018

2017

Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID.

Wei Li, Meihua Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu

Proceedings of the Theoretical Computer Science - 35th National Conference, 2017

A Multifaceted Study on Eye Contact based Speaker Identification in Three-party Conversations.

Yu Ding, Yuting Zhang, Meihua Xiao, Zhigang Deng

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2015

基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN).

Meihua Xiao, Ke Zhu, Chenglin Ma

计算机科学, 2015

2014

The Formal Verification and Improvement of Simplified SET Protocol.

Meihua Xiao, Zilong Wan, Hongling Liu

J. Softw., 2014

2006

Formal automatic verification of security protocols.

Meihua Xiao, Jinyun Xue

Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006