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]
Abstract is missing.