Continuous-correctness On Opaque Processors (COOP)*

Abstract

*Previously part of Next Generation Microelectronics - Advanced Manufacturing Tools The Continuous-correctness On Opaque Processors (COOP) program will validate that continuous correctness of software enables adoption of the latest processors with low overhead. Instead of creating new threat-specific signatures to detect the threats, COOP detects the physical manifestations of software errors and continuously corrects the errors with mathematical guarantees.

Document Details

Document Type
Accomplishment
Publication Date
Oct 01, 2025
Source ID
4c5892e17f06be26b6c644fc3d432acf

Tags

Fields of Study

  • Computer science

Readers

  • Computer Vision.
  • Sensor Fusion and Tracking Systems.
  • Software Engineering.

Technology Areas

  • Microelectronics

Related Documents