Yifan Li, Chengjun Jia, Xiaohe Hu, Jun Li. Kano: Efficient Container Network Policy Verification. In IEEE Symposium on High-Performance Interconnects, HOTI 2020, Piscataway, NJ, USA, August 19-21, 2020. pages 63-70, IEEE, 2020. [doi]
Abstract is missing.