Yuexi Xu

According to our database, Yuexi Xu authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review.

Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024