PUBLICATION: HardaBLE: Hardening BLE against software compromise Creative Commons Attribution 4.0 License (CC-BY) Document