Master theses

Behavioral authentication system

Author
Jan Pešek
Year
2023
Type
Master thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
doc. Ing. Daniel Novák, Ph.D.
Summary
This thesis aims to develop a Proof of Concept authentication system that verifies a user's identity by analyzing his/her behavior in a smartphone application. The system exploits data from a smartphone's sensors and touchscreen for behavioral authentication. The result is a fully functional behavioral authentication system with its functionality demonstrated in a simulated mobile banking application.

Efficient fuzz testing of web services

Author
Matúš Ferech
Year
2023
Type
Master thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
Pierre Donat-Bouillud, Ph.D.
Summary
This thesis proposes a novel approach to web service fuzzing that utilizes the OpenAPI Specification. The proposed smart black-box generation-based fuzzer, named openapi-fuzzer, generates and minimizes random payloads to detect vulnerabilities in web services. It is able to minimize the bug-triggering payload to its canonical form. Thanks to this minimization, it is trivial to detect the root cause of an underlying bug. To evaluate its performance, openapi-fuzzer was tested on multiple relevant web services, including Kubernetes, Hashicorp Vault, and Gitea, where it identified several bugs. The results demonstrate that openapi-fuzzer outperforms other state-of-the-art web service fuzzers in terms of the number of bugs found and running time. Furthermore, openapi-fuzzer conducts a performance analysis to identify endpoints that are susceptible to Denial of Service attacks. By providing developers with detailed statistics, openapi-fuzzer helps them identify and fix performance issues in their web services.

Efficient parallel multi-way Quicksort algorithm

Author
Ondřej Voronecký
Year
2023
Type
Master thesis
Supervisor
doc. Ing. Ivan Šimeček, Ph.D.
Reviewers
Ing. Daniel Langr, Ph.D.
Summary
A new version of the parallel in-place Quicksort algorithm MPQsort for array sorting is presen- ted in this thesis, using OpenMP for parallelization. Current implementations use only one pivot for element partitioning. On the other hand, MPQsort implements parallel multi-way partitio- ning and so is the first algorithm of its kind. Sequential multi-way partitionings are discussed in the first part of the thesis, followed by parallel two-way partitioning. Based on the gathered information is designed and implemented parallel multi-way partitioning. Implementation was followed by an experimental evaluation of its efficiency and comparison with other implementati- ons. MPQsort achieves good results in experiments and among the other considered algorithms ranked second in terms of sorting randomly generated numbers. Conversely, it sometimes achieves the best results for other types of data arrangements.

Parallel GPU accelerated video transcoding service

Author
Daniel Sedlák
Year
2023
Type
Master thesis
Supervisor
Ing. Tomáš Kvasnička
Reviewers
Ing. Jan Fesl, Ph.D.
Summary
Nowadays, live streaming is gaining popularity and thus becoming a standard service that is integrated within social networks like Facebook, TikTok, and Twitch. However, current implementations of video transcoding services like Wowza, Flussonic, Elemental, or cloud solutions provided by eg. Amazon have either suboptimal end-to-end latency, are not optimized for scale, or are quite expensive. Moreover, most of these solutions are built on top of FFmpeg libraries, which are not easy to work with. Furthermore, they are written in C, do not provide any memory-safe guarantees, and often introduce new bugs due to new functionality added. This thesis aims to implement a parallel GPU accelerated video transcoding service, addressing some of these issues.

Device for Wi-Fi Security Testing

Author
Petr Heřmánek
Year
2021
Type
Master thesis
Supervisor
Ing. Josef Kokeš, Ph.D.
Reviewers
doc. Ing. Tomáš Čejka, Ph.D.
Summary
The wireless network compromise presents a serious threat to traffic confidentiality, integrity, and authenticity. The globally widespread protocols already have a well established attack surface filled with various pitfalls, ranging from poor design decisions to critical programming errors. In this thesis, we focus on researching the recurring threats to provide a modern taxonomy overview and general protection guidelines. To demonstrate its functionality, we constructed a portable device capable of a fully automated Evil Twin kill chain execution along with the contemporary Wi-Fi auditing toolkit options.

Multimodal Navigation and its Deployment in Scalable Architecture

Author
Jan Sokol
Year
2021
Type
Master thesis
Supervisor
Ing. Ondřej Guth, Ph.D.
Reviewers
Ing. Jan Fesl, Ph.D.
Summary
This thesis deals with design of a trip planner in geospatial graphs, with a limitation of routes in cities. Route planner offers various means of transport. Multiple ways of transport are combined into one single trip when certain combinations are used. Route planning service is designed using principles of so called microservices. Access to the planning results is designed using REST API. Technologies Docker and Kubernetes will be used to deploy the route planner into distributed and scallable system in the second part of the thesis. While deploying the service in an distributed system an emphasis is taken on security of the whole architecture. Part of the thesis is dedicated to the application scalability. Importance is put on high availability of the application, both in usual day to day business and also while deploying route planner microservices.

Detection and Physical Localization of Intruders in WiFi Networks

Author
Jakub Samek
Year
2018
Type
Master thesis
Supervisor
Mgr. Rudolf Bohumil Blažek, Ph.D.
Summary
This thesis deals with developing an implementation of a distributed system for defending WiFi networks against attacks and usage policy violations. The thesis analyzes existing methods and available tools for detection, physical localization, and blocking of selected wireless devices for the purpose of protecting WiFi networks. The thesis includes design and implementation of a distributed computer system that employs affordable commercially available WiFi hardware to detect, localize, and block unauthorized WiFi devices, including unauthorized access points. The system was successfully tested in a testbed network.

Circular Queue Optimization

Author
Josef Kučera
Year
2017
Type
Master thesis
Supervisor
Ing. Jiří Kašpar
Reviewers
doc. Ing. Ivan Šimeček, Ph.D.
Summary
The purpose of this work is to outline and compare variants of implementation of circular queue CQ in language C for multiple writers and readers with concurrent access using locks and atomic operations on x86-64. Next, design a set of optimizations for inserting and retrieving messages from a circular queue and measure their performance by varying parameters such as length of the queue, message size, message processing, number of writers and readers and their deployment on processor cores.

Skywire - control module

Author
Jiří Cidlina
Year
2015
Type
Master thesis
Supervisor
Ing. Jiří Chludil
Reviewers
Ing. Jiří Melnikov
Summary
The work deals with remote control of devices with Linux OS. Gradually resolves possible implementations of remote control of network elements through a Web interface and SNMP. It closer focuses on libmicrohttpd and NetSNMP, with which help is solved technology. It is related to a device for creation of microwave connections, based on SH4 platform. Realization begins with environment, which was used for creation of the device firmware and gradually modifies and extends it. Original request of extending of the existing module with SNMP support and improved data collection gradually changes to complete reimplementation. Requirements on individual parts are again analyzed to meet new requirements. The result is a working solution of control module for devices with Linux OS. Module was recreated using C++ with emphasis on its extensibility and with possible deployment on other similar devices.

Simulation of Shared Cache Hierarchy

Author
Jindřich Čapek
Year
2015
Type
Master thesis
Supervisor
Ing. Jiří Kašpar
Reviewers
doc. Ing. Ivan Šimeček, Ph.D.
Summary
This thesis contains implementation of Shared Cache Hierarchy with cache coherency protocol MOESI in GEM5 simulator. This thesis contains short description of GEM5 simulator and its memory system, description of MOESI coherency protocol, description of implementation and connection between cache controllers. We simulated a system with two eight-core processors with three-level cache hierarchy. Implementation was tested with test embedded in GEM5 simulator. We ran selected benchmarks from PARSEC and SPLASH-2 suits and compared results with real system.

IPTV Service Start-Through

Author
Jakub Láznička
Year
2014
Type
Master thesis
Supervisor
Ing. Alexandru Moucha, Ph.D.
Reviewers
Ing. Viktor Černý

Monitoring of network intrusions using honeypot systems

Author
Tomáš Herout
Year
2013
Type
Master thesis
Supervisor
Mgr. Rudolf Bohumil Blažek, Ph.D.
Reviewers
Ing. Martin Bílý

Software for sharing of location data

Author
Ondřej Kunc
Year
2012
Type
Master thesis
Supervisor
doc. Ing. Ivan Šimeček, Ph.D.
Reviewers
Ing. Michal Šoch, Ph.D.

The person responsible for the content of this page: Ing. Zdeněk Muzikář, CSc.