BALSAPro: Towards A Security Protocol for Bluetooth Low Energy. - Mohamad Muwfak Hlal; Weizhi Meng 001 (MSN, 2021)