This paper presents our experiences in deploying YU, Alibaba’s in-house traffic load verification system for wide area networks (WAN), in data center networks (DCN). We encounter two key challenges: the opaque ISP challenge, where the opaque nature of the configurations of peering ISPs results in low accuracy of inter-...
Zijian Zhang, Yi-Fan Li, Xing Fang et al.· IEEE Transactions on Network...· 0 citations
This paper presents our experience deploying TianYan on Alibaba Cloud's global production WAN, which is, to the best of our knowledge, the first system for verifying non-deterministic convergence on a global production WAN. In daily operation, we rely on simulation-based configuration verifiers that assume a single con...
Xing Fang, Fang-Dan Ye, Yifei Yuan et al.· Conference on Applications,...· 0 citations
Procurator is a verification framework that efficiently captures interactive behaviors in distributed in-network programs and employs an intermediate representation (IR) pruner to reduce the execution space and a schedule-replay-based acceleration approach to avoid explicit exploration of long execution traces.
Mingyuan Song, Huan-Xing Shen, Jinghui Jiang et al.· Conference on Applications,...· 0 citations
A AegisPath is presented, it replaces centralized verification with distributed witness generation to protect AS-local configurations, decouples witness generation from repeated auditing through a commit-and-prove design, uses zero-knowledge proofs to answer queries without revealing forwarding paths, and supports incr...
Mingjun Fang, Shuhao Zheng, Zonglun Li et al.· Asia-Pacific Workshop on Net...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
