Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards – Bc. Lukáš Zaoral
Bc. Lukáš Zaoral
Diplomová práce
Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards
Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards
Anotace:
Tato práce slouží jako stručný přehled současných přístupů k detekci zdrojového kódu, který je náchylný vůči časové analýze, a má za cíl zhodnotit jejich použitelnost pro platformu JavaCard. Dále je podrobně rozebrán nástroj JCProfiler určený k profilování výkonu na této platformě. Následně je představen nástroj JCProfilerNext. Jedná se o přepis původního nástroje s dodatečnou funkcionalitou a s množstvím …víceAbstract:
This thesis serves as a brief survey of contemporary approaches for the detection of source code vulnerable to timing attacks and aims to assess their applicability to the JavaCard platform. JCProfiler, an existing performance profiling tool for this platform, is then examined in detail. Afterwards, JCProfilerNext is presented, a rewrite of the original release with additional features and many fixes …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 13. 12. 2022
Identifikátor:
https://is.muni.cz/th/v7l30/
Obhajoba závěrečné práce
- Obhajoba proběhla 25. 1. 2023
- Vedoucí: doc. RNDr. Petr Švenda, Ph.D.
- Oponent: Ing. Mgr. et Mgr. Zdeněk Říha, Ph.D.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Teoretická informatika / Principy programovacích jazyků
Práce na příbuzné téma
-
Security analysis of JavaCard Virtual Machine
Jan Kvapil -
Source code security transformations for JavaCard platform
Ondřej Šebek -
Tool for detection of JavaCard libraries on smartcards
Sujeet Daulat Deshmukh -
Implementation and Evaluation of Authenticated Encryption Algorithms on JavaCard Platform
Rajesh Kumar Pal -
The detailed performance analysis of JavaCard cryptographic smartcards
Rudolf Kvašňovský -
Optimized implementations of JavaCard cryptographic algorithms
Matej Evin -
Automatické testování výkonnosti čipových karet s platformou JavaCard
Lenka Kuníková -
Analýza mechanismu RMI u čipových karet s platformou JavaCard
Martin Kvočka