Akour, I., Nour, M., Elhoseny, M., Deif, M. A. (2026). Formal verification of integrity attacks on connected medical devices in battlefield hospitals. Scientific Reports. https://doi.org/10.1038/s41598-026-64004-x