Xuankai Zhang
Orcid: 0009-0004-2041-4013
According to our database1,
Xuankai Zhang
authored at least 3 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Binary-Level Formal Verification Based Automatic Security Ensurement for PLC in Industrial IoT.
IEEE Trans. Dependable Secur. Comput., 2025
2024
A Binary Level Verification Framework for Real-Time Performance of PLC Program in Backhaul/Fronthaul Networks.
Proceedings of the IEEE International Conference on Communications, 2024
Proceedings of the 7th International Conference on Data Science and Information Technology, 2024