GCHQ Chief Scientific Adviser Highlights the Critical Role of Science in National Security

GCHQ Chief Scientific Adviser Highlights the Critical Role of Science in National Security

Scientific research and technological innovation are becoming increasingly central to national security strategy. That was the key message delivered by Professor Danielle George CBE, the United Kingdom's Chief Scientific Adviser for National Security, during the 2026 Prince Philip Lecture hosted by the Royal United Services Institute (RUSI).

Submitted by Regan Williams on

UT San Antonio Earns NSA CAE-R Designation

UT San Antonio Earns NSA CAE-R Designation

The University of Texas at San Antonio (UT San Antonio) has once again been recognized as a national leader in cybersecurity after receiving the National Security Agency's (NSA) designation as a National Center of Academic Excellence in Cyber Research (CAE-R) for its doctoral programs. The designation acknowledges universities that demonstrate outstanding cybersecurity research while preparing the next generation of cybersecurity professionals.

Submitted by Regan Williams on

Science of Security VI Mid-Year Review Meeting

Building Access Information

Please enter through the main entrance on I Street NW. The building is marked with Arizona State University branding on the corner, and the entrance doors are labeled "Barrett & O’Connor Center."

Upon arrival, all visitors must check in at the lobby reception desk before proceeding to the elevators. Meeting activities will take place on the 8th floor.

Scaling CPS Understanding

Submitted by Katie Dey on

The intricate interplay of software, hardware, and multi-physics in large-scale cyber-physical systems (CPS) exceeds the cognitive capacity of even the most experienced engineers. Although standards such as SysML 2.0 improve how systems are organized structurally, they lack the deep semantic foundation necessary to prevent misunderstandings and late-stage failures.

CSLib: Building a Platform for AI-assisted Formal Verification in Lean

Submitted by Katie Dey on
 AI is revolutionizing the way code is written, but with more and more AI-generated code, the dangers of AI-introduced bugs and vulnerabilities are also increasing. At the same time, AI has also dramatically increased the capabilities of malicious actors, making even existing code more vulnerable. Fortunately, there is hope. The same GenAI power also shows promise in helping write formal specifications and in creating proofs, thus lowering the bar for formal verification. This leads naturally to a vision of a future in which AI only generates fully verified code.

AI as an Enabler for Analyzing Business Logic Systems

Submitted by Katie Dey on

Business Processes and Business Logic (BL) systems that govern and operationalize these processes are critical to both the US economy as well as the DoD mission. Logic faults in these systems have the potential to severely impact production of essential products or impede procurement of critical parts and services. For instance, a mismatch between a part tolerance in a manufacturing specification and the implementation of that specification in a manufacturing plan can cause numerous downstream effects, including shipment delays, recalls, or failures.

Subscribe to