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

QuSecure Adds Former CIA Executive Eman Blair to Federal Advisory Board

QuSecure has added retired CIA executive Eman Blair to its federal advisory board  Blair has more than 21 years of…

Accenture Strikes $4.2B Deal for Dragos, runZero, NetRise

Accenture has agreed to acquire a majority stake in Dragos and 100 percent of runZero and NetRise The proposed deals…

HawkEye 360 Appoints New Leaders for Innovative Signal Analysis Unit

HawkEye 360 has named Cory Peichel senior vice president and general manager of Innovative Signal Analysis, with Mark Volpi joining…

Hanwha Defense USA Names Stephen Adams Senior VP of Finance

Hanwha Defense USA has named Stephen Adams as senior vice president of finance Adams will help lead business transformation efforts…

Boeing Lands $880M Navy IDIQ for P-8A Training Systems

Boeing has received an $880 million Navy IDIQ contract for P-8A training systems support Contract covers procurement, sustainment and modernization…

Eight Companies Added to NASA’s Commercial Satellite Data Acquisition Contract

NASA has added eight companies to its CSDA contract and will buy more data products from six existing vendors The…

Golden Dome Update: Congressional Scrutiny, Industry Opportunities & New Acquisition Approaches

President Donald Trump’s Golden Dome missile defense initiative is beginning to move from vision to execution as lawmakers advance new…

Concurrent Technologies Appoints Chris Hamilton President & CEO

Christopher Hamilton will succeed Ed Sheehan, Jr. as president and CEO of Concurrent Technologies Concurrent Technologies announced Sheehan’s retirement in…

Leidos Lands Potential $270M CBP Contract for Medium Energy Mobile Systems

Leidos has landed a potential $270 million CBP contract to supply medium energy mobile systems The company will deliver up…

GA-ASI, Anduril Awarded Air Force CCA Production Contracts

The Air Force has awarded production contracts to General Atomics and Anduril for their CCA Six vendors have won separate…

Cyber Warfare Startup Twenty Raises $100M in Series B Funding Round

Twenty has closed a $100 million Series B funding round Series B has brought Twenty’s total funding to $138 million…

SandboxAQ Wins $500M CHIPS Act Award for AI-Driven Semiconductor Material Development

SandboxAQ has received a $500 million CHIPS award from the Commerce Department Under the definitive agreement, SandboxAQ will advance U.S.…

You’ve already read all related articles.

Executive Interviews