Improving Protocol Vulnerability Discovery via Semantic Interpretation of Textual Specifications

  • 1654137
  • SaTC Pi Meeting 2017
  • Project Slides
Submitted by Cristina Nita-Rotaru on