Computer science researchers have developed a new technique for identifying security vulnerabilities that expose people to account takeover attacks. The researchers simulated the account hacking process, modelling how account access changes if devices, SIM cards or apps are disconnected. This methodology, which uses formal logic, was tested on both Apple and Android devices, identifying a security fix for iPhones while confirming certain Android security features provide protection against attacks. The researchers’ findings are published in the Proceedings of the 28th European Symposium on Research in Computer Security.
![](https://healsecurity.com/wp-content/uploads/2024/07/amber-alert-as-nhs-in-plymouth-makes-urgent-plea-for.jpg)
‘Amber alert’ as NHS in Plymouth makes urgent plea for people with certain blood type
The NHS has issued an urgent call for O type blood donors, following increased demand after the recent cyber attack. The attack led to reduced