IOHK |
Library
Library > Dimitris Karakostas
Dimitris Karakostas
Researcher
Academic Research
UK
May 2020, To appear at: SCN '20
February 2020, ePrint Archive
A Formal Treatment of Hardware Wallets
Myrto Arapinis,Andriana Gkaniatsou,Dimitris Karakostas,Aggelos Kiayias
February 2019, Financial Cryptography 2019