← Back to papers
2017 NSDI NSDI 2017

A System to Verify Network Behavior of Known Cryptographic Clients

🧭 Keyword Pioneer — cryptographic client verification
🐝 Cross-Pollinator — Artificial Intelligence, Computer Science, Computer Vision, Deep Learning, Knowledge & Reasoning, Machine Learning, Natural Language Processing

Authors

Andrew Chi , Robert A. Cochran , Marie Nesfield , Michael K. Reiter , Cynthia Sturton

Keywords

symbolic execution cryptographic client verification execution path exploration message padding network protocol security
Download PDF

Related papers

ViewMap: Sharing Private In-Vehicle Dashcam Videos 2017
RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks 2017
Bringing IoT to Sports Analytics 2017
mOS: A Reusable Networking Stack for Flow Monitoring Middleboxes 2017
Flowtune: Flowlet Control for Datacenter Networks 2017