Defense Advanced Research Projects AgencyTagged Content List

Cyber

Relating to digital systems and information

Showing 106 results for Cyber RSS
12/04/2013
Ever more sophisticated cyber attacks exploit software vulnerabilities in the Commercial Off-the-Shelf (COTS) IT systems and applications upon which military, government and commercial organizations rely. The most rigorous way to thwart these attacks is formal verification, an analysis process that helps ensure that software is free from exploitable flaws and vulnerabilities. Traditional formal methods, however, require specially trained engineers to manually scour software—a process that up to now has been too slow and costly to apply beyond small software components.
| Cyber | Formal | Trust |
05/21/2014
Information technology (IT) is a key enabler for the Defense Department (DoD) and has been a focus area for DARPA since its founding in 1958. DARPA’s contributions to modern IT are well-known—perhaps most notably, DARPA is generally credited with developing and prototyping the technology for what is now known as the Internet. But while the DoD currently enjoys IT superiority, that superiority cannot be taken for granted.
06/03/2014
Computer security experts from academia, industry and the larger security community have organized themselves into more than 30 teams to compete in DARPA’s Cyber Grand Challenge—a first-of-its-kind tournament designed to speed the development of automated security systems able to defend against cyberattacks as fast as they are launched. DARPA also announced today that it has reached an agreement to hold the 2016 Cyber Grand Challenge final competition in conjunction with DEF CON, one of the largest computer security conferences in the world.
02/04/2015
Pittsburgh this weekend offered a look into the future of cybersecurity, with students from each of the nation’s Service academies scrambling to protect their computer systems, find adversaries’ vulnerabilities and exploit them in the second annual CyberStakes Live competition, sponsored by DARPA. More than 40 students participated in this year’s event, which tested teams’ and individuals’ abilities in numerous core cybersecurity skills and culminated in two exciting Capture the Flag (CTF) contests modeled after the global tournaments that attract many of the world’s top cybersecurity experts.
04/08/2015
As modern software systems continue inexorably to increase in complexity and capability, users have become accustomed to periodic cycles of updating and upgrading to avoid obsolescence—if at some cost in terms of frustration. In the case of the U.S. military, having access to well-functioning software systems and underlying content is critical to national security, but updates are no less problematic than among civilian users and often demand considerable time and expense. That is why today DARPA announced it will launch an ambitious four-year research project to investigate the fundamental computational and algorithmic requirements necessary for software systems and data to remain robust and functional in excess of 100 years.