IOHK |
Library
Library > Dimitris Karakostas
Dimitris Karakostas
Researcher
Academic Research
UK
October 2021, To appear at: ESORICS 2021
A Formal Treatment of Hardware Wallets
Myrto Arapinis,Andriana Gkaniatsou,Dimitris Karakostas,Aggelos Kiayias
February 2019, Financial Cryptography 2019