Myrto Arapinis, Andriana Gkaniatsou, Dimitris Karakostas, Aggelos Kiayias. A Formal Treatment of Hardware Wallets. In Ian Goldberg, Tyler Moore, editors, Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers. Volume 11598 of Lecture Notes in Computer Science, pages 426-445, Springer, 2019. [doi]
Abstract is missing.