University of New Mexico


Visible to the public Formal Models of Human Control and Interaction with Cyber Physical Systems.pdf


One of the most important challenges in the design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control. This is a challenging problem not only because of the operational changes and increasing complexity of future CPS but also because of the nonlinear nature of the human-CPS system under realistic assumptions.


Visible to the public Biology is the Science of Security

A presentation made by Stephanie Forrest at the 2008 NSF/IARPA/NSA Workshop on the Science of Security at UC Berkeley.