- Article
Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
- Daniel Gerbi Duguma,
- Ilsun You,
- Yonas Engida Gebremariam and
- Jiyoon Kim
The need for continuous monitoring of physiological information of critical organs of the human body, combined with the ever-growing field of electronics and sensor technologies and the vast opportunities brought by 5G connectivity, have made implant...