Inactive

The Continuous-correctness On Opaque Processors (COOP) program seeks to develop transformative tools and techniques to continuously guarantee that software is running correctly if-and-only-if the devi... The Continuous-correctness On Opaque Processors (COOP) program seeks to develop transformative tools and techniques to continuously guarantee that software is running correctly if-and-only-if the device physics is correct. COOP combines formal methods and side-channels to unify computer science and physics. The COOP program seeks solutions to continually guarantee software correctness on any processor with low overhead.