Bezpečnostní analýza aplikací využívajících chytré kontrakty

Abstract

V této diplomové práci jsem řešil problém bezpečnosti aplikací založených na tzv. smart contractech a vytvořil framework pro testování těchto aplikací. Soustředil jsem se na hlavní zranitelnosti pěti hlavních komponent typických smart contract aplikací - blockchainu, smart kontraktů, webových aplikací, mobilních aplikací a související infrastruktury. Praktická část práce se zabývá aplikováním zmiňovaného frameworku na aplikaci VETRI, její bezpečnostní analýzou a návrhem opravných opatření pro nalezené zranitelnosti.

This Master's thesis is concerned with security of applications utilizing smart contracts and development of framework for security assessment of such applications. I have mainly focused on the most prominent vulnerabilities in five main components of a typical smart contract application - blockchain, smart contracts, web applications, mobile applications and infrastructure. The practical part is about applying the created framework to the VETRI application, its security analysis and summary of remedies for found vulnerabilities.