SOLICITATION NOTICE
A -- Continuous-correctness On Opaque Processors (COOP)
- Notice Date
- 3/26/2024 7:41:40 AM
- Notice Type
- Presolicitation
- NAICS
- 541715
— Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- HR001124S0016
- Response Due
- 5/13/2024 4:00:00 PM
- Archive Date
- 06/12/2024
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
HR001124S0016@darpa.mil
(HR001124S0016@darpa.mil)
- Description
- 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.
- Web Link
-
SAM.gov Permalink
(https://sam.gov/opp/bfee586f95dc4b47bcd56972bb71f234/view)
- Record
- SN07008929-F 20240328/240326230042 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |