MilitarySpot.com

Serving the U.S. Army, Navy, Air Force, Marines, Coast Guard and National Guard

Follow MilitarySpot:
 
  • Home
  • Enlist
    • Join The Army
    • Join The Navy
    • Join The Air Force
    • Join The Marines
    • Join The Coast Guard
    • Join The National Guard
    • ASVAB
    • Army Physical Fitness Test
    • Military Draft
    • Prior Service Army Enlistment
  • Career
    • Join the Military
    • Jobs for Military and Civilians
    • Career Center
    • Prior Service Army Enlistment
    • Criminal Justice
  • Education
    • Online Schools
    • Spouse Education Benefits
    • GI Bill
    • Military Schools
    • Criminal Justice
  • Benefits
    • Army Benefits
    • Navy Benefits
    • Air Force Benefits
    • Marine Corps Benefits
    • National Guard Benefits
    • Coast Guard Benefits
    • Veteran Benefits
    • Basic Pay Rates
    • Allowances
    • Special & Incentive Pay
    • Military Spouse Education Benefits
    • VA Education Benefits
    • GI Bill
  • News
    • Headline News
  • Finance
    • Debt Relief
    • Military Pay Rates
    • Military Personal Loans
    • VA Loans
    • Military Star Card
    • Military MyPay
  • Spouses
    • School Finder
    • Scholarships & Grants
    • PCS, DITY, & Moving
    • Pay Rates
    • MyCAA
    • Education Benefits
  • Community
    • Military Games
    • Military Reunions
    • Classifieds
    • Photo Gallery
    • Buddy Finder
    • MilitarySpot Pinups
    • Military Bases
  • Resources
    • Military Alphabet
    • Military Reunions
    • Military Acronyms
    • Currency Converter
    • Military Tools
    • Ranks
    • Military Time
    • Military Tactics
    • Military Discounts
    • Military Games
    • Military Videos
    • Photo Gallery
    • Infographics
    • How To
  • Travel

DARPA Calls on Industry to Assist With DOD Cybersecurity

JUNE 19, 2025 – The Defense Advanced Research Projects Agency announced a Resilient Software Systems Accelerator program to kick-start the widespread adoption of math-based software development practices to make military systems inherently more secure against cyberthreats.

During the Resilient Software Systems Colloquium held in Arlington, Virginia, yesterday, leaders from the Defense Department, DARPA and industry spoke about aging IT infrastructure, security standards and software tools and techniques known as “formal methods,” that have been proven to significantly improve the resiliency, security and functionality of military systems used within the defense community.

Director of DARPA’s Information Innovation Office Kathleen Fisher described formal methods as “mathematically based approaches” that allow the user to prove properties about software to obtain guarantees, adding that DARPA has been involved in developing tools related to formal methods for over a decade.

Formal methods refer to techniques used to develop high-assurance, verified software, where mathematical proofs are employed to demonstrate that software on a system will behave as intended. The application of formal methods contributes to the stability and resistance of a software system to hacking.

Fisher said DARPA is eager for industry partners to get involved, which is why the agency is launching the Resilient Software Systems Accelerator. The program will provide seed funding to formal methods tool developers who partner with defense companies to apply formal methods tools and measure their level of effort to implement them.

“We are here to call you to action, to seize this opportunity and to … motivate you to listen and to think about where you have systems at home that might benefit from formal methods,” Fisher said. “DARPA is announcing today that we are going to … offer funding to do a red team assessment of a system. You guys do this cyber retrofit and then do another red team to assess the difference, [and then] document what you did in the retrofit in a best practices standard format.”

As part of advancing formal methods within DOD, DARPA is also partnering with each of the military services on a capstone demonstration of formal methods application.

Each capstone demonstration includes a red team assessment of its current state of cyber vulnerabilities followed by a formal methods retrofit, Fisher explained. Once the retrofit is completed, a follow-on red team assessment will be conducted to test system reliability.

The Air Force is starting the capstone demonstration by retrofitting software on the MQ-9 Reaper aircraft. Fisher said other services are not far behind and will soon participate in their capstone demonstrations.

During a recorded address shown at the event, Undersecretary of Defense for Research and Engineering Emil Michael said the Defense Department must now explore new ways to enhance cybersecurity.

“Our adversaries are relentless,” Michael said. “So, we need systems that are resilient for today’s threats and ready and adaptable for tomorrow’s conflicts. That’s why we are taking decisive action alongside our partners in acquisition and sustainment and DARPA.”

Over the past decade, he said, DARPA and partners have worked to transform formal methods into more accessible and practical solutions than ever before.

“These advancements enable us to scale secure software systems across all DOD from legacy platforms to cutting-edge [artificial intelligence] and hypersonic technologies — defending our digital landscape,” Michael said. “Yet, we have not fully harnessed this potential across the defense industrial base and DOD, leaving critical vulnerabilities unaddressed.”

The colloquium brought together more than 300 leaders from DOD, industry and academia, and Michael said it fostered the collaboration needed to address the critical software challenges facing the Defense Department.

“Our goal today [is] … to inspire widespread adoption of high-assurance formal methods, whether developed by DARPA or not,” he said. “Through use cases, lessons learned and best practices, we’ve shown how this strengthens cyber resiliency, reduces costs and simplifies processes like securing authority to operate.”

By C. Todd Lopez, DOD News

Comments

Filed Under: News

  • News
  • Enlist
  • Education
  • Career
  • Finance

Baltic States Pledge to Meet NATO’s 5% GDP Military Target

JULY 27, 2025 – Defense Secretary Pete Hegseth held an enhanced honor cordon and quadrilateral meeting at the Pentagon, welcoming Estonian Defense Minister Hanno Pevkur, Latvian Defense Minister Andris Sprūds and Lithuanian Defense Minister Dovilė Šakalienė. During the meeting, the Baltic states pledged to meet the target of 5% of their gross domestic product for […]

Air National Guard Unveils New Bonus Program

MARCH 11, 2023 – On March 1st, the Air National Guard (ANG) launched a new bonus program to attract and retain personnel in critical specialties. The initiative offers significant financial rewards, with bonuses of up to $90,000 for eligible members, depending on their Air Force Specialty Codes (AFSCs). This strategic move aims to strengthen the […]

Education Benefits Make Stronger Service Members

APRIL 3, 2025 – Within the armed forces, a variety of educational benefits are available that allow service members to both improve themselves and make themselves more valuable to their service branch. One example is the Military Tuition Assistance Program. The program is available to enlisted personnel, officers and warrant officers in the Army, Navy, […]

Former Soldier Navigates Job Hunt

NOVEMBER 19, 2024 — In early 2017, Michael Quinn endured what he called the worst day in the worst year of his life. Quinn, then a sergeant major and 24-year Army Soldier, had weathered deployments in Iraq, Afghanistan and the Philippines. As an Army counter-intelligence agent, he said he learned to operate under grave circumstances […]

Financial Planning for Military Families

JUNE 25, 2025 – Have you ever wondered how military families manage their finances while dealing with deployments, relocations, and changing pay structures? Financial planning is a vital part of life for families who serve. With unique benefits, challenges, and lifestyle changes, military families must make smart financial decisions that protect their future and help […]

Recent Posts

  • Baltic States Pledge to Meet NATO’s 5% GDP Military Target
  • DoD Moves Forward With PCS Overhaul
  • Army Unveils Lightweight Combat Assault Ration
  • Coast Guard National Security Cutter Returns
  • USNS Comfort Arrives in Limón, Costa Rica
MAINMENU



Powered by pixfuture


SITESEARCH
Can't find something? Try using our site search to dig through our entire site.



Still having trouble? Try the Advanced Search to refine your searches.
NEWSLETTERSUBSCRIBE
Sign Up To Receive Information, Updates and Special Officers from MilitarySpot.com.



Don't miss an issue! Jump in the Newsletter Archives to catch up on previous issues.
FOLLOWMILITARY SPOT

Follow us on Facebook, Twitter & StumbleUpon and more. Keep up with MilitarySpot.com news & updates. We also have an RSS Feed.

Advertise | About | Contact | Feedback | Unsubscribe | DMCA | Privacy Policy | Terms of Use
 
Copyright 2004-2025 Sun Key Publishing. All Rights Reserved.



 
This is not the official recruiting website of the U.S. Military. The site you are on is run by Sun Key Publishing, a private company, and is not endorsed by or affiliated with the U.S. Military.