Skip to content
conftrace_
2017 NSDI NSDI 2017

A System to Verify Network Behavior of Known Cryptographic Clients

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built. Papers without an abstract are not sent to the classifier, which is why this one carries no topics.

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

More from NSDI 2017

All NSDI 2017 papers →
mOS: A Reusable Networking Stack for Flow Monitoring Middleboxes
One Key to Sign Them All Considered Vulnerable: Evaluation of DNSSEC in the Internet
Enhancing Security and Privacy of Tor's Ecosystem by Using Trusted Execution Environments
FlexCore: Massively Parallel and Flexible Processing for Large MIMO Access Points
Facilitating Robust 60 GHz Network Deployment By Sensing Ambient Reflectors
Skip-Correlation for Multi-Power Wireless Carrier Sensing