Yuanmin Xu

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Formal Verification

Cryptographic Protocols

Top Venues

Mob. Networks Appl.

Publications

Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu
Formal Verification and Improvement of the PKMv3 Protocol Using CSP. COMPSAC (2) (2018)
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. 23 (1) (2018)
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) (2017)
Kai Chen, Hongyan Mao, Xiangyu Shi, Yuanmin Xu, Ailun Liu
Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction. COMPSAC (2) (2017)
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE (2015)
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. APSEC (1) (2014)