IOHK |
Library
Library > Dimitris Karakostas
Dimitris Karakostas
Researcher
Edinburgh, United Kingdom
A Formal Treatment of Hardware Wallets
Myrto Arapinis,Andriana Gkaniatsou,Dimitris Karakostas,Aggelos Kiayias
January 2019, Financial Cryptography 2019