Breadcrumb

  1. Home
  2. Research
  3. Programs
  4. COOP: Continuous-correctness On Opaque Processors

COOP: Continuous-correctness On Opaque Processors

 

Summary

Today, software and hardware systems use a reactive, threat-specific approach to keep up with external challenges such as intended cyber attacks or unintended silent data corruption.

The Continuous-correctness On Opaque Processors (COOP) program seeks to revolutionize computing reliability and resilience by developing technologies, algorithms, and proofs that work together to constantly detect and correct software errors with mathematical guarantees.

In future COOP-based systems, unique physical manifestations known as side channels will flag errors from bugs and cyber attacks alike. These systems will then leverage correction strategies to guarantee continuous correctness, providing superior reliability and security.

Contact