Arapinis, Myrto, Andriana Gkaniatsou, Dimitris Karakostas, and Aggelos Kiayias. "A Formal Treatment of Hardware Wallets." IACR Cryptology ePrint Archive (2019): 34.