Improving Protocol Vulnerability Discovery via Semantic Interpretation of Textual Specifications

  • 1654137
  • SaTC Pi Meeting 2017
  • Poster
  • Posters
Submitted by Dan Goldwasser on