A System to Verify Network Behavior of Known Cryptographic Clients

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

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