The National Security Agency has released Foundation as open source at https://github.com/NationalSecurityAgency/Foundation. Foundation is a repository of formal specifications for cryptographic algorithms, written so that the specification, its mathematical properties, and the checks that keep them true all live in one place—and get re-verified on every commit.

Carnegie Mellon University's Software Engineering Institute (SEI) has released a new framework identifying cybersecurity research priorities intended to strengthen national security missions amid rapidly evolving cyber threats.

The UK's Advanced Research + Invention Agency (ARIA) has announced five new Activation Partners designed to help ambitious research teams move more quickly from scientific ideas to practical capabilities.

As software assumes greater responsibility within defense and other mission-critical systems, determining whether increasingly complex systems will behave as intended has become an important engineering and assurance challenge.

Atalanta is exploring that challenge through Software Understanding, an approach centered on using mathematical methods to establish stronger guarantees about the behavior of software-controlled systems.

Competition over artificial intelligence is becoming increasingly intertwined with cybersecurity, critical infrastructure, and international technology strategy, according to former U.S. Deputy National Security Advisor for Cyber and Emerging Technologies Anne Neuberger.

In a recent interview with NPR's All Things Considered, Neuberger discussed artificial intelligence and cybersecurity in the context of U.S.-China relations, highlighting both areas of competition and potential opportunities for cooperation.

As artificial intelligence becomes increasingly involved in consequential decision-making, researchers are examining not only how these systems affect individuals subject to their decisions, but also how AI may transform the roles and responsibilities of the professionals who use them.

Amazon is seeking Ph.D. students working in automated reasoning, formal methods, and formal verification for its 2027 Applied Science Internship program.

The internships provide an opportunity for doctoral students to work alongside Amazon scientists on research applying automated reasoning to large-scale, real-world computing systems. Areas of application include cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems.