Making and Maintaining in Cyber Security
Abstract
Studies conducted under this thrust aim to create and sustain material and cyber capabilities to secure the defense and civilian digital ecosystems. Mathematically based software development techniques, commonly referred to as formal methods, will be created to enable the development and sustainment of provably secure software for civilian and military information systems, cyber-physical and embedded systems, critical infrastructure, and other computation-intensive mission-critical systems. There is a strong interest in tech refresh of legacy software systems through the use of domain-specific and memory-safe languages. Artificial intelligence (AI) and machine learning (ML) will be developed and applied to enhance cyber security and achieve greater operational resilience through cyber monitors and agents that can detect and characterize cyber threats, engage cyber adversaries, prioritize operationally important workflows, maintain essential services, and complete critical missions.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2025
- Source ID
- 6d0113737cab8a8814dad38267581803