"A Formal Treatment of Hardware Wallets." IACR Cryptology ePrint Archive (2019): 34.