Provably Secure Cyber-Physical Systems

Abstract

This proposal aims to establish foundations for understanding security of cyber-physical systems (CPS), especially the systems endowed with rich dynamics and infinite, hybrid state spaces. The grand objective is to cast security of a CPS in a unified logical formalism that accounts for adversarial behavior with physical real-world consequences.

Document Details

Document Type
DoD Grant Award
Publication Date
Dec 05, 2016
Source ID
FA95501610288

Entities

People

  • AndrĂ© Platzer

Organizations

  • Air Force Office of Scientific Research
  • Massachusetts Institute of Technology
  • United States Air Force

Tags

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Strategic Security Studies

Technology Areas

  • Cyber
  • Space