Hantao Xia

According to our database, Hantao Xia authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

A Protocol for Secure Data Search in Cloud-Edge-End Collaboration with Formal Verification.

Xuejian Li, Hong Lv, Mingguang Wang, Hantao Xia

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025

Data Consistency Verification and Detection Based on Formal Methods in Distributed Environment.

Xuejian Li, Kai Lin, Changyu Wang, Hantao Xia

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025

2024

Verifying Robustness of Neural Networks with Abstract Features.

Xuejian Li, Hantao Xia

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024