For this project, we are building tools and verification techniques that check modern cyberphysical systems (CPSs) and Internet of Things (IoT) systems for correctness in order to decrease the likelihood of behavior that may lead to various vulnerabilities, including those related to security. In particular, we intend to create a suite of verification tools for design-time, compile-time, and run-time checking of these systems. Some of these tools will be software-oriented, but others will explore hardware-support for checking correct execution of deployed systems.
