Keynote: Uncovering Vulnerabilities in Bluetooth Devices with Automated Binary Analysis | IEEE Conference Publication | IEEE Xplore