Automated Verification of Customizable Middlebox Properties with Gravel

TitleAutomated Verification of Customizable Middlebox Properties with Gravel
Publication TypeConference Paper
Year of Publication2020
AuthorsZhang K, Zhuo D, Akella A, Krishnamurthy A, Wang X
Conference Name17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20)
Date Published02/2020
Publisher{USENIX} Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-13-7
URLhttps://www.usenix.org/conference/nsdi20/presentation/zhang-kaiyuan