Military + Aerospace Electronics
December 2, 2024
COOP seeks to develop secure design and development tools to guarantee that software is running correctly by ensuring device physics is correct.
U.S. military researchers are asking Peraton Labs in Basking Ridge, N.J., to develop hardware and software design and development tools to guarantee that software runs correctly by combining formal methods and side-channels.
Officials of the U.S. Defense Advanced Research Projects Agency (DARPA) in Arlington, Va., announced a $2.8 million contract to Peraton Labs on 6 Nov. 2024 for the Continuous-correctness On Opaque Processors (COOP) program to develop new trusted computing approaches.
COOP seeks to develop secure design and development tools and techniques to guarantee that software is running correctly if and only if the device physics is correct by combining formal methods and side-channels to unify computer science and physics.
Peraton Labs joins two other research groups on the DARPA COOP program. Vanderbilt University in Nashville, Tenn., won a $5.4 million COOP contract on 1 Oct. 2024, and Galois Inc. in Portland, Ore., won a $26.4 million COOP contract on 17 Oct. 2024.