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
PublisherUSENIX Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-13-7
URLhttps://www.usenix.org/conference/nsdi20/presentation/zhang-kaiyuan