Formal verification of integrity attacks on connected medical devices in battlefield hospitals

Researchers developed a formal framework to analyze integrity attacks on connected medical devices in battlefield hospitals. The study used a synthetic digital twin to show how cyber threats like patient-ID swapping create safety hazards. New gateway policies reduced unsafe reachability by 69.6 percent, though they increased the overall workflow burden.