Author: Nicholas Hoffman|| Date Published: August 3, 2017
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.
Kris Levin-Snow, area vice president within AT&T‘s national security group, will now oversee the company’s defense industrial base portfolio in addition…
Rocket Lab has signed a definitive agreement to acquire California-based Motiv Space Systems, adding space robotics and precision spacecraft mechanism…
Sonny Bhagowalia, assistant commissioner for information and technology and chief information officer at U.S. Customs and Border Protection, has received…
NextPoint Group expands intelligence-focused capabilities with UScontracting acquisition by adding expertise in cybersecurity, signals intelligence and data analysis for national…
