A System to Verify Network Behavior of Known Cryptographic Clients

TitleA System to Verify Network Behavior of Known Cryptographic Clients
Publication TypeConference Paper
Year of Publication2017
AuthorsChi A, Cochran RA, Nesfield M, Reiter MK, Sturton C
Conference Name14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)
Date Published03/2017
PublisherUSENIX Association
Conference LocationBoston, MA
ISBN Number978-1-931971-37-9
URLhttps://www.usenix.org/conference/nsdi17/technical-sessions/presentation/chi