Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols.

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 implantable medical devices (IMDs) the most necessitated devices in the health arena. IMDs are very sensitive since they are implanted in the human body, and the patients depend on them for the proper functioning of their vital organs. Simultaneously, they are intrinsically vulnerable to several attacks mainly due to their resource limitations and the wireless channel utilized for data transmission.

Bluetooth 5.1: An Analysis of Direction Finding Capability for High-Precision Location Services.

This paper presents an in-depth overview of the Bluetooth 5.1 Direction Finding standard's potentials, thanks to enhancing the Bluetooth Low Energy (BLE) firmware. This improvement allows producers to create location applications based on the Angle of Departure (AoD) and the Angle of Arrival (AoA).