Defense Advanced Research Projects AgencyTagged Content List

Software Programming

Pushing the boundaries of computer coding, including language development

Showing 9 results for Programming + Cyber RSS
05/18/2015
The mission of the Information Innovation Office (I2O) is to ensure enduring advantage for the U.S. and its allies across a broad range of information technologies through the advancement of core technical foundations as well as the design of novel application concepts based on these foundations. I2O’s core technical work ranges from artificial intelligence and data analysis to secure engineering and formal methods.
The mission of the Information Innovation Office (I2O) is to ensure enduring advantage for the U.S. and its allies across a broad range of information technologies through the advancement of core technical foundations as well as the design of novel application concepts based on these foundations. I2O’s core technical work ranges from artificial intelligence and data analysis to secure engineering and formal methods.
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.
05/27/2015
The initial phase of a DARPA program that used publicly accessible online games to accelerate the verification of software has helped produce hundreds of thousands of program annotations in common software programming languages, adding credence to the idea that digital games can be an effective means of crowdsourcing solutions to software problems. The results have inspired DARPA to launch a new round of games with the goal of extending the successes to date and learning more about the approach’s potential.