Topic: cyberspace

DARPA convenes colloquium to advance rigorous cybersecurity techniques

June 26, 2025

ARLINGTON, Va. The Defense Advanced Research Projects Agency (DARPA) recently held its Resilient Software Systems Colloquium, during which more than 300 participants from across the U.S. Department of Defense (DoD), defense industry, U.S. government, allies, academia, and formal-methods developers convened as part of DARPA's goal to catalyze widespread adoption of formal methods, mathematically rigorous techniques that can dramatically improve the security and reliability of software systems.

Topic: cyberspace

DARPA convenes colloquium to advance rigorous cybersecurity techniques

Cyber contract with U.S. Navy nets Vectrus Systems $15.97 million mod

Cyber Quest 2025 Army exercise will leverage Keysight design, verification solution

Cyber

Cyber support contract signed between Qinetiq US and U.S. Army

Cyber

Cyber hardening program from DARPA gets RTX BBN Technologies on board

Cyber

Managing the insider cyber risk in military organizations

Cyber

New technologies, Industry 4.0 the focus of USAF contract with cybersecurity firm Corsha

Cyber

DoD's top infosys officer says battlespace awareness is most important cyber issue

Cyber

Highest level of DoD security classification now available through Game Warden platform

Cyber

Data systems at Space Force sites to get $444 million modernization under SAIC contract

Cyber

U.S. cyber office calls for use of safer programming languages

Cyber

GDIT wins USSOCOM technical support task order

Cyber

Star Lab releases capability to secure KVM hypervisors with Titanium for KVM

Cyber

Cybersecurity challenges prompt USAF to engage NetRise for security study

Cyber

Systems-integration pact signed between U.S. Navy, CRL Technologies

Cyber

Cyber contract signed between CodeMettle and National Guard AFSPECWAR forces

Cyber

Cybersecurity: What the defense industry needs to unlock to stay ahead

Cyber

The DoD addresses security challenges and harnesses emerging technologies

Cyber

Designing and implementing secure boot for military-grade systems

Cyber

How automation can optimize zero-trust security at the multidomain, tactical edge

Cyber

From airgap to zero-trust: Enhancing cybersecurity in the testing space

Cyber

DISA zero-trust cyber project awards contract totaling as much as $1.86 billion

Cyber

Intelligence cyber support contract signed between ODNI, Leidos

Cyber

DARPA program aims to strengthen cybersecurity via automation

A.I.

Space Development Agency to get AI assist on space-based big data processing

Cyber

Cyber, software contracts for intel and homeland security garner GDIT $580 million

Cyber

AI-powered cyber solution for U.S. government lined up by DISA

A.I.

AI supercomputer mission marks first use of GPGPU in space

A.I.

AI software pact between U.S. Special Operations, Palantir could reach $463 million

Cyber

Space-based edge computing market for defense expected to see huge demand, study reveals

Featured White Papers/e-Books

Avionics

The FACE Technical Standard: Enabling modular, open, and future-proof avionics systems

Radar/EW

Tactical RF data and analytics to be expanded for NRO by HawkEye 360

Cyber

Air Force installation to begin M2M comms across systems, infrastructure

Comms

Beyond GPS: HORDE PNT for contested environments