Bachelor theses
SHA-1 Hashing Collisions
Author
Martin Jelínek
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
prof. Ing. Róbert Lórencz, CSc.
Department
Brute Force Cracking Linux Agent
Author
Bohumil Fiala
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Zdeněk Muzikář, CSc.
Department
Chip Card Analysis
Author
Marek Záruba
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Jiří Buček, Ph.D.
Department
CTU FIT Apple Classroom Case Study
Author
Michal Moravec
Year
2013
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Tomáš Kadlec
Department
MD5 Hashing Collisions
Author
Duc Anh Nguyen
Year
2014
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Mgr. Martin Jureček, Ph.D.
Department
SHA-1 Hashing Collisions
Author
Juraj Horňák
Year
2014
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Mgr. Martin Jureček, Ph.D.
Department
WinDLX Simulator Extension
Author
Tomáš Králík
Year
2015
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
doc. Ing. Ivan Šimeček, Ph.D.
Department
Summary
This bachelor's thesis extends the current version of the WinDLX simulator. The extended
version contains an option to choose, in which pipeline stage the branch condition is evaluated,
new delayed and cancelling instruction types and finally a static and dynamic branch prediction.
The analytic part contains a brief description of the DLX processor and the way the simulator
is implemented. The current implementation is extended with a new functionality to meet the
requirements of the thesis. The design chapter outlines a possible way to implement new features
with regard to the way WinDLX works. The next chapter is about implementing all features
presented in the previous chapter. It also includes certain problems I have encountered during the
implementation as well as snippets of code. The last chapter demonstrates the correct behaviour
of all new features. The outcome of this bachelor's thesis is an extended version of the WinDLX
simulator supporting all previously mentioned features.
A Virtual GPU Cluster
Author
Jakub Samek
Year
2015
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Josef Hlaváč, Ph.D.
Department
Summary
This thesis deals with the possibilities of clustering computers equipped with a general purpose computing capable graphics card, in relation to running various security tools for cracking passwords. The practical core of the thesis inheres in the implementation of a GPU cluster in the facilities of the Faculty of Information Technology, CTU with the possibility of a distributed run of selected programs and measuring the cluster performance.
SW System for a Running Computer Memory Access
Author
Jan Chvojka
Year
2014
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Miroslav Skrbek, Ph.D.
Department
FileMaker Plug-In
Author
Pavel Soukup
Year
2014
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Jiří Buček, Ph.D.
Department
Adobe Illustrator Plug-in
Author
Šárka Černá
Year
2012
Type
Bachelor thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Petr Mikšík
Department
Master theses
Distributed PDF brute force cracking on a GPU cluster
Author
Martin Bak
Year
2012
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
doc. Ing. Ivan Šimeček, Ph.D.
Department
Application Security Analysis
Author
Jiří Fous
Year
2015
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Petr Mikšík
Department
Summary
This work investigates the level of security of applications used by the general public and potential threats to the users in case of a possible attack, which abuses security vulnerabilities within these applications.
The aim of this work is to select an appropriate application according to the criteria and to perform subsequent security analysis of this application. The purpose of this analysis is to find security vulnerabilities like unexpected srashes of the application due to reaction on the user's input or weakly secured communication over the network. Found vulnerabilities in application have to be tested for their potential abuse with a simulated attack and in case of successful abuse some suitable countermeasures should be suggested.
PDF Vulnerability Analysis
Author
Jan Kučera
Year
2012
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Petr Mikšík
Department
Comparison of CUDA and OpenCL API
Author
Lubomír Hnát
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Jaroslav Sloup
Department
LLVM Obfuscator
Author
Martin Petráček
Year
2018
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Department
Summary
Obfuscation is a method for protecting intellectual property contained within software. Obfuscation can be performed manually by developers, but that is time consuming and it limits maintainability of the software. We assume that it is better to perform obfuscations automatically, as a part of compilation process. The modularity of popular compiler LLVM makes it possible to implement that. This work is focused on implementing several of these tranformations and describes the advantages and limitations of this approach.
LLVM Obfuscator Based on Virtual Machines with Custom Opcodes and String Encryption
Author
Lukáš Turčan
Year
2019
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Mgr. Rudolf Bohumil Blažek, Ph.D.
Department
Summary
Obfuscation is one of the methods for protecting intellectual properties against piracy, copying or tampering. This thesis aims to create an automatic obfuscator based on the LLVM Framework, whose modularity allows implementing obfuscation transformations agnostic to the source language and target architecture. A major achievement of this thesis is the proof that it is possible to use the LLVM Framework to create virtualization-based transformations. Implemented transformations also include string encryption and improved function interleaving.
Application Security Analysis
Author
Martin Jirkal
Year
2013
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Josef Hlaváč, Ph.D.
Department
Application Security Analysis
Author
Jan Žentek
Year
2014
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Josef Hlaváč, Ph.D.
Department
Application Security Analysis
Author
Karel Rozhoň
Year
2015
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Petr Mikšík
Department
Summary
This thesis provides a security analysis of an chosen application.It indroduces few basic methods of this security analysis and uses them on the chosen application. Another part of htis thesis are also examples of attacks to discovered vulnerabilities and list of possible recommendations, how to mitigate them.
PGP Whole Disk Encryption Analysis
Author
Jiří Šembera
Year
2014
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Petr Mikšík
Department
QuickTime Audio Mixer Replacement
Author
Jan Novák
Year
2012
Type
Master thesis
Supervisor
Ing. Tomáš Zahradnický, Ph.D.
Reviewers
Ing. Petr Mikšík
Department