Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards – Bc. Lukáš Zaoral
Bc. Lukáš Zaoral
Master's thesis
Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards
Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 13. 12. 2022
Identifier:
https://is.muni.cz/th/v7l30/
Thesis defence
- Date of defence: 25. 1. 2023
- Supervisor: doc. RNDr. Petr Švenda, Ph.D.
- Reader: Ing. Mgr. et Mgr. Zdeněk Říha, Ph.D.
Citation record
ISO 690-compliant citation record:
ZAORAL, Lukáš. \textit{Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards}. Online. Master's thesis. Brno: Masaryk University, Faculty of Informatics. 2022. Available from: https://theses.cz/id/6jgros/.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Theoretical computer science / Principles of programming languages
Theses on a related topic
-
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 -
Optimized implementations of JavaCard cryptographic algorithms
Matej Evin -
The detailed performance analysis of JavaCard cryptographic smartcards
Rudolf Kvašňovský -
Analýza mechanismu RMI u čipových karet s platformou JavaCard
Martin Kvočka -
Automatické testování výkonnosti čipových karet s platformou JavaCard
Lenka Kuníková