The goal of this thesis is to systematically analyze implementations of cryptographic functions as used by cryptocurrency wallets, including those that do not provide open-source code.
The theoretical part of the work will provide an overview of cryptographic operations typically used in the context of cryptocurrency wallets and describe relevant protocols, standards, and known non-standard approaches. It will also provide an overview of existing attacks against insufficient or poorly implemented security mechanisms.
The practical part will propose a methodology for systematic testing of hardware cryptocurrency wallets, create the necessary automation tools and apply them to at least ten different devices available in the CRoCS laboratory. The data analysis of the data obtained will be performed, together with an evaluation and discussion of the security impact on tested devices.

Literature:
A. Parák, Security building blocks of cryptocurrencies hardware wallets, Masaryk University, 2022, https://is.muni.cz/auth/th/xym2w/
Arapinis et. al., A Formal Treatment of Hardware Wallets, Financial Cryptography and Data Security. LNCS 11598. Springer, Cham. https://doi.org/10.1007/978-3-030-32101-7_26