Meihua Xiao

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