Safety envelope for security

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 15, 2014
Source ID
10.1145/2566468.2566483

Entities

People

  • Ashish Tiwari
  • Bruno Dutertre
  • Dejan Jovanović
  • Dorsa Sadigh
  • John Rushby
  • Patrick D. Lincoln
  • Sanjit Seshia
  • Thomas De Candia

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • SRI International
  • University of California, Berkeley