Závěrečná práce: Daniel Krejska: Analysis of the Bitbox02 crypto-wallet source code
Bakalářská práce
Analysis of the Bitbox02 crypto-wallet source code
Anotace
Hardwarové peněženky umožňují uživatelům zachovat si plnou kontrolu nad vlastními kryptoměnami a poskytují jim přímý přístup k jejich digitálním aktivům. Jelikož jsou však tato zařízení zodpovědná za práci s citlivými kryptografickými klíči, musí být chráněna proti neoprávněnému přístupu. To znamená, že kromě odpovídající hardwarové ochrany se podstatná část celkové bezpečnosti opírá o správnost a …více
Abstract
Hardware wallets enable users to maintain self-custody of their cryptocurrencies, providing direct access to their digital assets. However, since such devices are responsible for sensitive cryptographic keys, they need protection from unauthorized access. This means that, in addition to proper hardware protection, a substantial part of the security relies on the correctness and security of the firmware …více
Zadání práce
If vulnerabilities are found, then possible testing is an optional task.
The division of the tasks within the projects is approximately 75% source code review and vulnerability analysis, 15% literature study, and possibly testing (10%).
22. 12. 2025 00:59, Lukasz Michal Chmielewski, PhD, učo 247858
Konzultant
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Instrumentation of LLVM IR
Mgr. Martina Vitovská -
Improving out-of-bound access checking in Symbiotic
Mgr. Anna Řechtáčková -
Detecting Bugs in Low-Level Memory-Manipulating Programs
Bc. Ján Durec -
Reduced product of abstract domains
Mgr. Jan Dupal -
Zjišťování podobnosti malware
Mgr. Ondřej Fujtík -
Symbolic-size Memory Allocation Support for Klee
Mgr. Michael Šimáček -
Slicing of Parallel Programs
Mgr. Lukáš Tomovič -
Detecting Overcomplicated Conditions in Student Code
Bc. Daniel Czinege




