What's up in
War Report
Defense operations, military technology, cyber conflict, terrorism, naval power, UAV systems, and the front-line developments defining modern warfare.
Formal methods can be applied at large scale
Northrop Grumman demonstrates platform agnostic in-flight connectivity for USAF
Swedish military bans TikTok on work phones
Germany delivers Leopard tanks to Ukraine
China says Japanese national held for espionage
Raytheon Technologies awarded $320 million for StormBreaker smart weapon
Iraq's Kurdistan announces November vote after delay
Tehran condemns US strikes on Iran-linked groups in Syria
France bans TikTok from public employee work phones: ministry source
US strikes in Syria kill eight after contractor death
