VIDEO: HACMS – Protecting Military Systems from Hackers

https://www.youtube.com/watch?v=OyqNpn6JpBk

DARPA’s High-Assurance Cyber Military Systems (HACMS) program is creating technology for the construction of safe and secure cyber-physical systems. Taking a fundamentally different approach from the inadequate methods used today by the software community, the program has adopted a clean-slate, formal methods-based approach to enable semi-automated code synthesis from executable specifications. HACMS has already transitioned some of its technology to both the defense and commercial communities.

Sponsor

×

Stay ahead in GovCon

Join thousands of government contractors who rely on GovCon Wire for the latest updates in federal spending, bid opportunities, and compliance changes.

Whether you’re new to the space or scaling up, our brief keeps you informed and ready to act.

Email Address *

First Name *

Last Name

Position

Company

Related Articles

Trump Signs $901B FY 2026 Defense Authorization Bill Into Law

President Donald Trump on Thursday signed into law the National Defense Authorization Act, which authorizes $900.6 billion in funding for…

MDA Expands SHIELD Pool With 1,086 Additional Awards for Golden Dome

The Missile Defense Agency has issued a second tranche of awards under its Scalable Homeland Innovative Enterprise Layered Defense contract,…

HawkEye 360 Acquires Signals Processing Tech Provider ISA

HawkEye 360, provider of space-based signals intelligence, has acquired Innovative Signal Analysis, a Dallas, Texas-based company manufacturing high-performance signal-processing technologies.…

BigBear.ai, C Speed Partner to Deliver AI-Enabled Threat Detection Capability

BigBear.ai and C Speed, a platform company of NewSpring Holdings, have partnered to combine their capabilities to deliver an artificial…

Virtualitics Appoints Chris Brown as Public Sector CTO

Virtualitics has appointed Chris Brown as its public sector chief technology officer, adding a senior technology executive with decades of…

John Martinez to Succeed Mike Kolloway as Parsons’ Chief Legal Officer

Parsons has appointed John Martinez as its next chief legal officer, effective Feb. 16. Martinez succeeds Mike Kolloway, who has…

State Department Clears Taiwan’s $1B FMS Requests for C2 & Weapons Systems, Helicopter Parts

The Department of State has approved eight foreign military sales requests to the Taipei Economic and Cultural Representative Office, or…

GAO: Bid Protests Dropped 6% in FY 2025

The Government Accountability Office reported that 1,688 bid protests were filed in fiscal year 2025 to challenge federal contract awards,…

DHA Awards $8.1B TRICARE Contract to Humana, Evernorth & Ipsos

The Defense Health Agency awarded a combined $8.07 billion in contracts to Humana Government Business, Evernorth Federal Services and Ipsos Public Affairs…

Matthew Calderone Steps Down as Booz Allen’s CFO, Joins S&P Global Mobility

Matthew Calderone is stepping down from his role as executive vice president and chief financial officer of Booz Allen Hamilton,…

AMERICAN SYSTEMS Appoints Lauren Kilcoyne as COO

AMERICAN SYSTEMS has appointed Lauren Kilcoyne, an operations and program executive, as chief operating officer, effective Jan. 5. In this…

Acquisition Under Secretary Michael Duffey to Keynote 2026 Defense R&D Summit

Potomac Officers Club, the nation’s leading GovCon networking events organization, is excited to confirm Michael Duffey, under secretary of war…

You’ve already read all related articles.

Executive Interviews