Cílem práce je vytvořit nástroj pro automatickou modifikaci zdrojového kódu aplikací pro čipové karty na platformě javacard. Modifikace např. vloží dodatečný kód provádějící kontrolu integrity klíčových proměnných nebo sensitivních dat, zdvojí vyhodnocení logické podmínky jako ochranu před indukcí chyby nebo přidají kód provádějící ochranu před logickými útoky typu padding oracle attack.
Práce naváže na existující projekt CesTa, ale pro provádění transformací využije modernější nástroje pro modifikaci zdrojového kódu.
Práce pokryje tyto konkrétní body:
1. Poskytne přehled existující literatury a nástrojů pro ochranné transformace bezpečnostního kódu.
2. Analyzuje stávající projekt CesTa a provede jeho reimplementaci s využitím současných prostředků pro transformaci zdrojového kódu včetně odpovídající dokumentace použití.
3. Demonstruje funkčnost na alespoň třech existujících open-source javacard projektů se srovnáním funkčnosti před a po aplikaci ochranné transformace, včetně zhodnocení dopadu na rychlost prováděných operací.


Literatura:
CesTa project https://github.com/javacard-FOSS-applets/CesTa
Spoon project http://spoon.gforge.inria.fr/