A Formal Treatment of Hardware WalletsFebruary 2019 — Myrto Arapinis, Andriana Gkaniatsou, Dimitris Karakostas, Prof Aggelos KiayiasFinancial Cryptography 2019#bitcoin#hardware-wallets
