Defense Advanced Research Projects AgencyTagged Content List

Technologies for Trustworthy Computing and Information

Confidence in the integrity of information and systems

Showing 30 results for Trust + Cyber RSS
There are a vast number of diverse computing devices used to run the critical infrastructure our national security depends on – from transportation systems to electric grids to industrial equipment. Much like commercial or personal computing devices, these systems utilize embedded software to execute and manage their operations. To fix certain security vulnerabilities, commercial and personal devices must undergo frequent updates, and are replaced every few years – or on occasion, more frequently when an update fails. Mission-critical systems are built to last for decades, and rarely have the same short upgrade cycles.
September 26, 2019, 8:00 AM ET,
DARPA Conference Center
The Information Innovation Office is holding a Proposers Day meeting to provide information to researchers on the objectives of the new Assured Micropatching (AMP) program and to facilitate teaming. The goal of AMP is to create the capability for rapid patching of legacy binaries in mission-critical systems, including cases in which the original source code version and/or build process is not available. AMP will create new capabilities to analyze, modify, and fix legacy software in binary form, to produce assured targeted micropatches for known security flaws in existing binaries. Ultimately, AMP intends to demonstrate the use of targeted micropatches for repairing legacy mission-critical binaries with strong guarantees that the patch will not impact the baseline functions of the system. DARPA expects that these prototypes will provide a starting point for technology transition to mission-critical software for cyber-physical system domains.
May 14, 2019, 8:30 AM EDT,
DARPA Conference Center
The Information Innovation Office is holding a Proposers Day meeting to provide information to potential proposers on the objectives of the new Automated Rapid Certification Of Software (ARCOS) program and to facilitate teaming. The goal of ARCOS is to automate the evaluation of software assurance evidence so that certifiers can rapidly determine if system risk is acceptable. “Certification” is the process of determining that a system’s risk is acceptable.
August 24, 2018, 2:00 PM ET,
DARPA Conference Center
DARPA’s Information Innovation Office is hosting a Proposers Day to provide information to potential applicants on the structure and objectives of the Safe Documents (SafeDocs) program. The aim of SafeDocs is to restore trust in electronic documents and messages by mitigating one of the root causes of the Internet insecurity epidemic: exploitation of software's input-handling weaknesses via complex, maliciously crafted data inputs. The program will research methods to create technological assurance that an electronic document or message automatically checked and found well-formed is safe to open, as well as generate safer document formats that are subsets of the current untrustworthy ones, preserve existing information, and are also safe to open.
| Cyber | Trust |
November 14-16, 2018,
Hilton Washington Dulles Airport
DARPA’s Information Innovation Office is co-hosting the first annual seL4 Summit along with the Air Force Research Laboratory and General Dynamics C4 Systems. seL4 is an open-source, high-assurance, high-performance microkernel; its implementation is formally proven correct against its specification. The three-day seL4 Summit will focus on maturing seL4 kernel technology, stabilizing software distribution, expanding user adoption, and transitioning the technology into various applications. Attendees will also have the opportunity to receive hands-on training for the microkernel.
| Cyber | Formal | Trust |