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

Submitted by Cristina Nita-Rotaru on Tue, 12/13/2016 - 4:02pm. Contributors:
License: 
Creative Commons 2.5

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