A Formal Treatment of Hardware Wallets.

Myrto Arapinis, Andriana Gkaniatsou, Dimitris Karakostas, Aggelos Kiayias

Browse the full FC paper archive.