Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton. A System to Verify Network Behavior of Known Cryptographic Clients. In Aditya Akella, Jon Howell, editors, 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017. pages 177-195, USENIX Association, 2017. [doi]
@inproceedings{ChiCNRS17,
title = {A System to Verify Network Behavior of Known Cryptographic Clients},
author = {Andrew Chi and Robert A. Cochran and Marie Nesfield and Michael K. Reiter and Cynthia Sturton},
year = {2017},
url = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/chi},
researchr = {https://researchr.org/publication/ChiCNRS17},
cites = {0},
citedby = {0},
pages = {177-195},
booktitle = {14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017},
editor = {Aditya Akella and Jon Howell},
publisher = {USENIX Association},
isbn = {978-1-931971-37-9},
}