Formal Approaches to Security-Turing wins the game?

pdf

Abstract:  For this breakout session we will discuss the long-term goal of defensive deterrence (in the Federal Cybersecurity R&D Strategic Plan), focusing on the following challenges:

  • 2017
  • SaTC Pi Meeting 2017
  • Presentation
  • Presentations
  • Presentations
Submitted by Greg Shannon on