Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang 0005. Automated Verification of Customizable Middlebox Properties with Gravel. In Ranjita Bhagwan, George Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020. pages 221-239, USENIX Association, 2020. [doi]
Abstract is missing.