Iman Akour, Mohamed Nour, Mohamed Elhoseny, Mohanad A. Deif. "Formal verification of integrity attacks on connected medical devices in battlefield hospitals." Scientific Reports, 2026. doi:10.1038/s41598-026-64004-x