Loren Data's SAM Daily™

fbodaily.com
Home Today's SAM Search Archives Numbered Notes CBD Archives Subscribe
SAMDAILY.US - ISSUE OF MARCH 15, 2024 SAM #8144
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 |
ECGrid: EDI VAN Interconnect ECGridOS: EDI Web Services Interconnect API Government Data Publications CBDDisk Subscribers
 Privacy Policy  Jenny in Wanderland!  © 1994-2024, Loren Data Corp.