Information Flow


Visible to the public Trusted CPS from Untrusted Components

The nation's critical infrastructures are increasingly dependent on systems that use computers to control vital physical components. Imagine if you lose electric power, your water stops flowing, airplanes stop flying, medical devices stop working, and chemical plants explode. These are all examples of Cyber-Physical Systems (CPSs) that are vulnerable to attack through their computer systems, through their physical properties such as power flow, water flow, chemistry, etc., or through both.


Visible to the public Support for security and safety of programmable IoT systems

This project is a collaborative grant involving the University of Michigan (Award number CNS-1646392) and the University of Illinois at Urbana-Champaign (Award number CNS-1646305).