Závěrečná práce: Jakub Merta, učo 525302: Analysis of open-source JavaCard applets
Bakalářská práce
Analysis of open-source JavaCard applets
Anotace
Tato práce se zabývá bezpečnostně zaměřeným ohodnocením vybraných open-source Java Card appletů. Práce představuje platformu Java Card, její bezpečnostní vlastnosti a typické hrozby ovlivňující Java Card aplikace. Součástí práce je návrh strukturované metodologie pro bezpečnostní analýzu Java Card appletů zaměřené především na manuální revizi zdrojového kódu. Hodnoceno je několik veřejně dostupných …více
Abstract
This thesis presents a security-oriented evaluation of selected open-source Java Card applets. The work introduces the Java Card platform, its security properties, and common threat classes affecting Java Card applications. A structured methodology for security analysis of Java Card applets is constructed primarily around manual source-code review. Several publicly available Java Card applets are evaluated …více
Zadání práce
A current list of available applets is accessible at:
- https://github.com/crocs-muni/javacard-curated-list
A big part of the task will be the initial study of how JavaCard works.
At least 6 different applets should be analyzed and assessed, including 3 applets that appear to be used in serious practical applications, such as banking or access control, etc.
The division of the tasks within the projects is approximately 75% source code review and vulnerability analysis, 15% literature study, and possibly testing (10%).
23. 5. 2026 21:25, Lukasz Michal Chmielewski, PhD, učo 247858
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Optimized implementations of JavaCard cryptographic algorithms
Mgr. Matej Evin -
Forensic profiles of certified cryptographic smartcards
Mgr. Martin Podhora -
Analysis and enhancement of remote management system
Mgr. Marek Šanta, učo 433772 -
Synthesizing grammar of smart card commands
Mgr. Ondřej Kuhejda -
Building open profiles of certified cryptographic devices
Mgr. Imrich Nagy, učo 456271 -
Databáze odběrových křivek kryptografických operací
Mgr. Martin Podhora -
Generování jednorázových PINů a jejich uložení na čipovou kartu
Mgr. Martin Sláma, učo 99058 -
The use of a power analysis for influencing PIN verification on cryptographic smart card
Mgr. Lukáš Folkman, učo 140414




