Visible to the public Improving Protocol Vulnerability Discovery via Semantic Interpretation of Textual Specifications

Submitted by Dan Goldwasser on Tue, 12/13/2016 - 1:01pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Improving Protocol Vulnerability Discovery via Semantic Interpretation of Textual Specifications
Switch to experimental viewer