|
[ANED26]
Iman Akour, Mohamed Nour, Mohamed Elhoseny and Mohanad A. Deif.
Formal verification of integrity attacks onconnected medical devices in battlefield hospitals.
Nature Scientific Reports.
2026.
[Performs formal analysis of integrity attacks on connected medical devices in battlefield settings, including the use of PRISM for MDP policy synthesis]
|
|
Links:
[Google]
[Google Scholar]
|