Continuous-correctness On Opaque Processors (COOP)

Background
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.

Work Details
The COOP program aims to address the continuous-correctness guarantees for mission critical software (MCS) by leveraging formal methods, multi-modal-side-channels, oracles, opaque hardware or software, processors, reference monitors, and side-channels. It also emphasizes the need for new techniques that can achieve revolutionary improvements in continuous-correctness guarantees and performance. The program spans two phases with specific metrics outlined in Table 1, including multi-threaded cores support, correction latency, performance overhead, error detection accuracy, false positive, and false negative.

Period of Performance
The COOP program spans two phases: Phase I (18 months) in simulation and Phase II (18 months) in hardware.