|
|
Optimizer for Exam Scheduling at the FIT
Paulík, Miroslav ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
This paper describes automated examination scheduling for the Faculty of Information Technology of Brno University of Technology. It specifies a list of restrictions that must by satisfied. Furthermore, this limitations are classified due to their influence on a quality of the final version of the examination schedule. There are two types of restrictions; soft and hard. The task is to find such a solution that satisfies all hard constraints and breaks the minimum of soft constraints using techniques described in this paper.
|
|
|
.NET Based C Language Processing in a Browser
Kužela, Michal ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The aim of this work is to create a tool for online programming in browser that would work also offline. It focuses on WebAssembly and .NET technologies. It was implemented in Blazor WebAssembly framework. Emphasis was placed on covering the range of C programming language used by beginner programmers. Solution is an interpreter that provides environment for programming in browser. It also contains virtual filesystem and an option to insert user inputs. The advantage of this solution is the possibility to work offline, code stepping and possibility to perform immediate code evaluation.
|
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (referee) ; Zahradnický,, Tomáš (referee) ; Kolář, Dušan (advisor)
Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů na stejný jazyk na vysoké úrovni. Tento proces se vztahuje k nástroji Lissom Decompiler. Pro účely rozpoznání chování práce zavádí Language for Decompilation -- LfD. LfD představuje jednoduchý imperativní jazyk, který je vhodný pro srovnávaní. Konkrétní chování je dáno známým spustitelným souborem (např. malware) a rozpoznání se provádí jako najítí poměru podobnosti s jiným neznámým spustitelným souborem. Tento poměr podobnosti je vypočítán nástrojem LfDComparator, který zpracovává dva vstupy v LfD a rozhoduje o jejich podobnosti.
|
|
|
Transfer and Backup of Text Messages (SMS)
Černý, František ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The subject of this bachelor thesis are two cooperating applications to backup, restore and to view SMS messages. The first of the implemented applications, designed for the Android operating system can backup and restore SMS messages using XML file. The application also enables synchronization of the imported file with existing short text messages. The second application is used as an extension for Thunderbird email client. This extension lets you view imported text messages, synchronize your saved short text messages with contacts in SMS threads, search in saved file and synchronize existing SMS information with newly imported file. The extension also allows exporting a file with SMS messages and uses this exported file in application for Android operating system.
|
|
|
In-Depth Analysis of Code Similarity in Malware Strains
Voščinár, Martin ; Kolář, Dušan (referee) ; Zobal, Lukáš (advisor)
The goal of this thesis is the analysis of malware strains with the aim to discover relationships in terms of code similarity or its reuse. Specialized tools are used for the detection of binary code similarity. Selected strains are then analyzed using reverse engineering techniques to uncover the purpose and origin of such code. Based on these findings, detection patterns are created, efficiently detecting those threats. This research also points out the shortcomings of used tools and proposes options for improvement. In conclusion, the obtained results of this thesis are summarized and evaluated with prospects for the future.
|
|
|
IMAP Proxy for POP3 Mailboxes
Kružliak, Miroslav ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
This bachelor's thesis deals with retrieving e-mails from different accounts on POP3 servers and their organisation in one account on IMAP server. It also studies settings and configuration of IMAP servers in enviroment of operating system Linux. Protocols IMAP and POP3 are briefly compared here from implementation point of view. Further it studies possibilities of periodical start of processes and secure saving of sensitive information. In this part of my thesis main methods of cryptography are shortly confronted.
|
|
|
Multiplatform Linux Sandbox for Analyzing IoT Malware
Uhříček, Daniel ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
Analýza IoT malwaru je problematická zejména pro množství a rozlišnost architektur procesorů používaných IoT zařízeními. Práce shrnuje možnosti statické, dynamické a síťové analýzy Linuxového malwaru a hodnotí existující open source řešení oddělených běhových prostředí pro automatizovanou analýzu. Práce navrhuje modulární, rozšířitelný systém s~jednoduchými možnostmi nasazení, dostupnou API a webovým rozhraním. Výsledná implementace podporuje pět architektur a byla testována na vzorcích IoT malwaru.
|
|
|
Windows PE Transformation into Control Flow Graph
Jirák, Ota ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
This thesis is interested in format of executable files EXE. It is focused on parts relevant for reverse engineering. It is interested in assembler, binary representation of instruction and disassembling. Follow I introduce converting from executables to control flow graph, basic structures (branches, cycles) detection.
|
|
|
Standard C Language Preprocessor and Libraries for WWW Browser
Burda, Luděk ; Regéciová, Dominika (referee) ; Kolář, Dušan (advisor)
This technical report describes design and implementation of a C preprocessor in javascript without using a remote server for processing of the source code. Further it deals with implementation of a subset of standard libraries functions of the C language in javascript and its memory and time efficiency. In addition, a type based C memory model is implemented as necessary component for the standard functions.
|
|
|
Cable supported bridge
Kolář, David ; Koláček, Jan (referee) ; Nečas, Radim (advisor)
The topic of this bachelor thesis is design of a footbridge across a river. The final version, which has been chosen from three designs differentiating in their static behaviour of the structure, is a cable-stayed footbridge. The chosen option is designed as a parabolic monolithic prestressed deck suspended by cables anchored to two cone shaped pylons. The structure is situated perpendicularly to the riverbed and its total length is 57,465 m. Softwares, such as SCIA Egineer 20.0 and MS Excel, were used for the calculations of internal forces and modelling calculation models and its verification by hand. The design of the prestressing force, assessment of utility limit state and serviceability limit state were done by hand according to valid standards and regulations. Partially simplified bearing capacity assessment of the pylons was solved by IDEA StatiCa 9 software and some of the results were verified by hand as well. The thesis disregards stages of construction and prestress losses are estimated.
|
guest ::
RSS feed.