Automated Verification of Customizable Middlebox Properties with Gravel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kaiyuan Zhang' in GoogleThis author has not been identified. Look up 'Danyang Zhuo' in GoogleThis author has not been identified. Look up 'Aditya Akella' in GoogleThis author has not been identified. Look up 'Arvind Krishnamurthy' in GoogleThis author has not been identified. Look up 'Xi Wang 0005' in Google

runs on WebDSL