DARPA – Continuous-correctness On Opaque Processors (COOP) – HR001124S0016
DARPA Microsystems Technology Office is seeking innovative proposals to develop hardware and software tools to guarantee that software is running correctly by combining formal methods and side-channels. COOP seeks to