SOLICITATION NOTICE
A -- Continuous-correctness On Opaque Processors (COOP)
- Notice Date
- 3/13/2024 6:51:41 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/7172a411881d4c4a9bf25a311ee9b7d9/view)
- Record
- SN06995089-F 20240315/240313230042 (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 |