Xue Rao

According to our database, Xue Rao authored at least 3 papers between 2019 and 2025.

Collaborative distances:

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

2025

Sliver: A Scalable Slicing-Based Verification for Information Flow Security.

Xue Rao, Cong Sun, Dongrui Zeng, Yongzhe Huang, Gang Tan

IEEE Trans. Dependable Secur. Comput., 2025

2019

Compositional Information Flow Verification for Inter Application Communications in Android System.

Xue Rao, Ning Xi, Jing Lv, Pengbin Feng

Proceedings of the Machine Learning for Cyber Security - Second International Conference, 2019

A Fully Anonymous Authentication Scheme Based on Medical Environment.

Jing Lv, Ning Xi, Xue Rao

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019