We stand with Ukraine  

Ke Yang

Orcid: 0000-0002-6441-2309

Affiliations:
  • East China Jiaotong University, Nanchang, China


According to our database1, Ke Yang authored at least 7 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A novel formal logic for formal analysis of timeliness in non-repudiation protocols.
[BibTeX]
[DOI]
Ke Yang
,
Meihua Xiao
,
Xiaomei Zhong
,
Yingqiang Zhong
J. King Saud Univ. Comput. Inf. Sci., September, 2023

Modeling and Verification of WPA3 Security Protocol Based on SPIN.
[BibTeX]
[DOI]
Meihua Xiao
,
Shanshan Qiao
,
Tao Liu
,
Ke Yang
,
Zehuan Li
,
Dongming Zhan
Proceedings of the Theoretical Computer Science - 41st National Conference, 2023

2020
Deriving Security Protocols Based on Protocol Derivation System.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Jiawen Song
,
Meihua Xiao
,
Ke Yang
,
Xizhong Wang
,
Xiaomei Zhong
IEEE Access, 2019

2018
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Jia Chen
,
Meihua Xiao
,
Ke Yang
,
Wei Li
,
Xiaomei Zhong
Proceedings of the Theoretical Computer Science - 36th National Conference, 2018


  Loading...