Zibin Chen

According to our database, Zibin Chen authored at least 3 papers between 2017 and 2023.

Collaborative distances:

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

2023

CURSOR: Configuration Update Synthesis Using Order Rules.

Zibin Chen, Lixin Gao

Proceedings of the IEEE INFOCOM 2023, 2023

2022

Accelerating BGP Configuration Verification Through Reducing Cycles in SMT Constraints.

Xiaozhe Shao, Zibin Chen, Daniel E. Holcomb, Lixin Gao

IEEE/ACM Trans. Netw., 2022

2017

DPETs: A Differentially Private ExtraTrees.

Chunmei Zhang, Yang Li, Zibin Chen

Proceedings of the 13th International Conference on Computational Intelligence and Security, 2017