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