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 …more
Abstract:
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
 

Keywords

profiling constant-time cryptography JCProfilerNext smart card JavaCard
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution