Ing. Ladislav Vagner, Ph.D.

Theses

Bachelor theses

VNC Proxy

Author
Tomáš Doubravský
Year
2014
Type
Bachelor thesis
Supervisor
Ing. Ladislav Vagner, Ph.D.
Reviewers
Ing. Ondřej Guth, Ph.D.

Detection of cribbed programs

Author
Michal Dvořák
Year
2022
Type
Bachelor thesis
Supervisor
Ing. Ladislav Vagner, Ph.D.
Reviewers
Ing. Miroslav Balík, Ph.D.
Summary
Source code plagiarism is an issue that many programming courses face. The aim of this thesis is to improve source code plagiarism detection in ProgTest, a submission management system employed at the Faculty of Information Technology, CTU in Prague. A new tool has been implemented for this purpose. The tool makes use of an algorithm called Running Karp-Rabin Greedy String Tiling, which has been proven effective in many state of the art plagiarism detectors. The new tool is able to recognise a wider variety of techniques used to hide plagiarism, such as block transpositions. Furthermore the tool is capable of removing parts of shared code which have been distributed by the teachers as a submission template. Experiments have observed that the new tool is up to 3-4 times faster compared to the current solution.

Software metrics

Author
Filip Gregor
Year
2021
Type
Bachelor thesis
Supervisor
Ing. Ladislav Vagner, Ph.D.
Reviewers
Ing. Jan Trávníček, Ph.D.
Summary
This thesis presents various software metrics, how they are measured and what they say about the measured source code. Next, compiler Clang and it's interfaces are described. One of those interfaces is then used for implementing custom metric measurer for source code in C or C++. Said measurer is then compared against other open-source measurers and thoroughly tested.

Secure communication with classroom PCs

Author
Tomáš Šmíd
Year
2017
Type
Bachelor thesis
Supervisor
Ing. Ladislav Vagner, Ph.D.
Reviewers
Ing. Tomáš Kadlec
Summary
This bachelor's thesis describes the analysis and design of improved communications security between classroom's computers and remote evaluate system in the FIT CTU. Thesis also discusses remote authentification of user's environment. Communications security will be provided by TLS cryptographic protocol and final application will be based on OpenSSL library.

Improved SW metrics evaluation system

Author
Lukáš Hrbek
Year
2013
Type
Bachelor thesis
Supervisor
Ing. Ladislav Vagner, Ph.D.
Reviewers
Ing. Ondřej Guth, Ph.D.

Master theses

Exokernel API design

Author
Dorian Řehák
Year
2024
Type
Master thesis
Supervisor
Ing. Ladislav Vagner, Ph.D.
Reviewers
Ing. Jiří Kašpar
Summary
This master's thesis looks into design of API between an exokernel and userspace. It analyzes previous solutions, their advantages and problems, and proposes new solutions. This thesis also addresses implementation of such an exokernel and of a simple userspace. Finally, it empirically measures practical impact of this architecture of operating system.