Xue Rao

Orcid: 0009-0005-6993-6768

According to our database1, Xue Rao authored at least 4 papers between 2019 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Fine-grained information-flow-driven program partitioning.
Comput. Secur., 2026

2025
Sliver: A Scalable Slicing-Based Verification for Information Flow Security.
IEEE Trans. Dependable Secur. Comput., 2025

2019
Compositional Information Flow Verification for Inter Application Communications in Android System.
Proceedings of the Machine Learning for Cyber Security - Second International Conference, 2019

A Fully Anonymous Authentication Scheme Based on Medical Environment.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019


  Loading...