SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian?
Nicholas J. MultariAnoop SinghalDavid O. ManzRobert CowlesJorge CuéllarChristopher S. OehmenGregory ShannonPublished in: SafeConfig@CCS (2016)