The Bluetooth CYBORG: Analysis of the Full Human-Machine Passkey Entry AKE Protocol. - Michael Troncoso; Britta Hale (IACR Cryptol. ePrint Arch., 2021)