Information & Communications Technology

FY2025 accomplishments - Began evaluation of a scalable and fabricable design for a fault-tolerant prototype of a utility-scale quantum computer. - Developed key system performance metrics for prototype designs and initial specification targets for all components and subsystems. - Identified and began procuring long-lead hardware items needed to perform prototype research and development. - Evaluated an additional system engineering point design for building a fault-tolerant quantum computer.

FY2025 accomplishments - Integrated and expanded cyber technologies into an automated target discovery and attack surface enumeration framework and demonstrated the target acquisition and continuous monitoring system prototype. - Integrated and expanded cyber technologies that provide enhanced network monitoring and automated threat hunting to improve blue space visibility, identify unknown threats, and initiate hunt and clear activities. - Leveraged technologies that established a multi-tenant compute, storage, and networking environment to support DevSecOps methodologies and tools. - Coordinated with cyber operators from the Commands and Services to prioritize cyber technologies and capabilities, accelerate…

FY2025 accomplishments - Developed techniques for the automated instantiation of multiple cyber agent training environments for evaluating cyber agent decision-making and performance. - Performed an integrated demonstration of multiple agents defending a realistic network environment. - Extended library of APT test cases to include additional post-breach behaviors as observed in the real world. - Demonstrated a priority use case for the simulation environment by training red agents on different attack strategies and then using these red attack agents to improve defensive agents.

FY2025 accomplishments - Integrated a verified kernel into the mission system software of a mission-configurable small Unmanned Autonomous Vehicle without modifying system code. - Created a verification tool extension that relates verification errors to original software artifacts. - Developed technology that increases the speed of Rust-code verification. - Developed technology to model real-world computer code with greater fidelity. - Successfully verified the security module of a high-assurance virtual machine.

FY2025 accomplishments - Implemented machine-processable representations for BL systems and ingested design artifacts and associated documentation. - Using BL representations, demonstrated automated reasoning that identifies and characterizes BL faults, traces faults across component interdependencies, and provides mitigations. - Evaluated the performance of techniques developed for BL representation, analysis, and assurance on representative defense and business workflows and major BL platforms. - Identified faults in two real world business systems.

FY2025 accomplishments - Enhanced technologies to enable a fully integrated cyber planning, provisioning, and risk management system that automatically generates risk-informed cyber infrastructure through real-time, continual attribution assessments. - Integrated cyber planning, generation, and risk management tools with Department of Defense (DoD) cyber warfighting architecture and programs of record. - Conducted live demonstrations during DoD cyber exercises to evaluate cyber planning, generation, and risk management tools in collaboration with transition partners. - Successfully transitioned the technology to DoD activities.

FY2025 accomplishments - Evaluated the effectiveness and accuracy of tools, employing methods such as white-box testing and reverse engineering. - Automated reasoning over models of emergent execution and evaluated their composability at various data granularities for source code and binaries. - Integrated emergent computation discovery with standard build chains and integrated development environments to provide developer feedback. - Assessed the scalability of tools to capture emergent properties and behaviors in complex interactions between multiple layers of abstraction within a subsystem.

FY2025 accomplishments - Developed tools and techniques for automated chain link generation in complex systems. - Characterized and modeled exploits to enable forecasting for piecewise exploit chain composition and repair. - Explored and prioritized demonstrations of exploit chain models and forecasting for systems of interest to transition partners.

FY2025 accomplishments - Developed concepts for weird networks - emergent communications outside the original specification of a network - as a means to enable hidden or obfuscated communications over commodity network infrastructures. - Created domain specific languages and formal analysis tools to verify performance properties of weird networks in the context of a hidden communication system.

FY2025 accomplishments - Formulated approaches for instrumenting bus-based systems to enable collective monitoring and detection of cyber-attacks by bus peers. - Proposed possible techniques for responding to attack and compromise of bus-based systems through collaborative software patch creation and real-time repair by bus peers.

FY2025 accomplishments - Completed development and integration of analysis and synthesis tools. - Demonstrated tool applicability to specific software modernization challenges, such as cryptography modernization and parser hardening. - Transitioned tools to DoW software engineering organizations and commercial industry.

FY2025 accomplishments - Expanded the scope of critical minerals. - Evaluated models and assessed operational relevance to transition partners. - Updated and improved performance of structural price prediction models. - Updated and improved performance of supply and demand forecasting models. - Explored extension of model architecture to additional classes of materials.

FY2025 accomplishments - Developed more advanced cyber competitions involving AI-based vulnerability discovery and remediation in source code, with the competitions focused on software used in critical infrastructure. - Expanded the platform for conducting cyber competitions. - Refined scoring schemes to reflect the effectiveness of automated AI-based vulnerability discovery and remediation systems more accurately when applied to source code. - Conducted a final AI-based vulnerability discovery and remediation cyber competition focused on critical infrastructure software. - Demonstrated significant capabilities of AI-based cyber reasoning systems to provide automated identification and patching of cyber…

FY2025 accomplishments - Developed hybrid AI approaches that iteratively reason over symbolic and neural representations for perception, planning, and control to enable enhanced situational understanding, activity recognition, and safety in maneuvering. - Developed an assurance test harness with adversarial AI and evaluated the new hybrid algorithms and architectures. - Performed an initial demonstration and evaluation of hybrid AI technologies and their composition in use cases of interest to the DoW.

FY2025 accomplishments - Extended system modeling and control techniques to additional platform types. - Collected performance measurements from platform experiments and demonstrated the ability to maintain functionality in the presence of damage or malfunction, without pre-training or prior modeling. - Conducted field experiments involving recovery and control of cyber-physical systems for high-priority use cases in collaboration with transition partners. - Transitioned assurance technologies for autonomous systems to industry and Department of Defense partners.

FY2025 accomplishments - Developed transfer learning techniques for rapidly producing a robust, autonomous system in simulation. - Developed a framework for assessing the robustness to the sim2real gap of autonomy transfer from fast, abstract simulations for a given simulated use case. - Demonstrated an initial capability to transfer autonomy for scenarios of interest to potential transition partners involving indoor navigation using quadrupeds.

FY2025 accomplishments - Developed graph theoretical models for money laundering TTPs and adapted the models to reference heterogeneous FININT and transaction data. - Developed approaches for using models of known money laundering TTPs to anticipate novel money laundering TTPs and developed and applied graph search and subgraph isomorphism techniques to extract the TTPs. - Formulated initial demonstrations and evaluations in collaboration with AML stakeholders from across USG and the private sector.

FY2025 accomplishments - Developed and refined mathematical methodologies for genAI assessment. - Applied algorithmic techniques for assessing genAI for specific problem classes.

FY2025 accomplishments - Developed real-time models of adversarial belief using new developments in algorithmic modeling that better represent human reasoning. - Developed kinetic and non-kinetic testing and evaluation scenarios and environment in relevant theaters.

FY2025 accomplishments - Initiated development of a concept of operations for AI vulnerability discovery.

FY2025 accomplishments - Developed methods to decompose scientific, technological, and capability claims into constituent, verifiable components and for automatically assessing component feasibility.

FY2025 accomplishments - Established a forum where USG, Industry, and research organizations collaboratively define and evaluate geoeconomic mechanisms.

FY2025 accomplishments - Conducted initial real-time tests of machine learning/AI algorithm architectures for analyzing preconscious information evoked by behavioral health related stimuli, as paired with data acquisition systems that synchronized physiological monitoring. - Developed and demonstrated AI technologies, advanced the state of the art in AI engineering, and created human-machine teaming approaches that support trustworthy AI for mission- and safety-critical domains.