A Formal Treatment of Hardware Wallets.
Myrto ArapinisAndriana GkaniatsouDimitris KarakostasAggelos KiayiasPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- formal treatment
- low cost
- hardware and software
- computing power
- real time
- embedded systems
- hardware implementation
- massively parallel
- hardware architecture
- hardware software
- software implementation
- vlsi implementation
- parallel hardware
- personal computer
- computer systems
- graphics hardware
- single chip
- standard pc
- natural language