Liveness Verification of Stateful Network Functions

TitleLiveness Verification of Stateful Network Functions
Publication TypeConference Paper
Year of Publication2020
AuthorsYousefi F, Abhashkumar A, Subramanian K, Hans K, Ghorbani S, Akella A
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/yousefi