|
|
Optimalizátor rozvrhu zkoušek na FIT
Paulík, Miroslav ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Tématem této práce je automatizovaná tvorba rozvrhu zkoušek pro Fakultu informačních technologií Vysokého učení technického v Brně. Je zde popsán seznam požadavků (omezení), na které je nutné brát při návrhu rozvrhu ohled. Tyto omezení jsou dále klasifikována podle míry vlivu na kvalitu rozvrhu na nutné a volitelné. Problém plánování zkoušek je zde dekomponován na dílčí podproblémy a dále řešen pomocí Contraint logic programming. Výsledkem je množina řešení splňující všechna nutná omezení. Z nich je nakonec vybráno takové suboptimální řešení, které nejméně porušuje zbývající škálovatelná omezení.
|
|
|
Zpracování jazyka C v prohlížeči na bázi .NET
Kužela, Michal ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cílem této práce je umožnit programování v jazyce C uvnitř prohlížeče a to i v režimu offline. Zaměřuje se na technologie .NET a WebAssembly. Implementace proběhla ve frameworku Blazor WebAssembly. Důraz byl kladen na pokrytí rozsahu jazyka C využívaného začínajícími programátory. Vytvořený interpret poskytuje prostředí pro programování v prohlížeči, obsahuje virtuální souborový systém a možnost vložení uživatelského vstupu. Výhodou tohoto řešení je možnost práce offline, krokování kódu a možnost okamžitého vyhodnocení kódu.
|
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (oponent) ; Zahradnický,, Tomáš (oponent) ; Kolář, Dušan (vedoucí práce)
Thesis is aimed on recognition of specific behavior by generic reverse compilation. The generic reverse compilation is a process that transforms executables from different architectures and object file formats to same high level language. This process is covered by a tool Lissom Decompiler. For purpose of behavior recognition the thesis introduces Language for Decompilation -- LfD. LfD represents a simple imperative language, which is suitable for a comparison. The specific behavior is given by the known executable (e.g. malware) and the recognition is performed as finding the ratio of similarity with other unknown executable. This ratio of similarity is calculated by a tool LfDComparator, which processes two sources in LfD to decide their similarity.
|
|
|
Přenos a zálohování textových zpráv
Černý, František ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Předmětem této bakalářská práce je dvojce kooperujících aplikací pro zálohu, obnovu a prohlížení SMS zpráv. První z implementovaných aplikací určená pro operační systém Android provádí zálohu a obnovu SMS zpráv za pomocí XML souboru. Aplikace také umožňuje synchronizaci importovaného souboru s již existujícími krátkými textovými zprávami. Druhá aplikace slouží jako doplněk pro poštovního klienta Thunderbird. Tento doplněk umožňuje zobrazit importované SMS zprávy, synchronizovat uložené kontakty s příslušnými SMS vlákny, vyhledávat v nahraném souboru a provádět synchronizaci s již existujícími daty. Doplněk dovoluje také exportovat soubor s SMS zprávami, a ten poté obnovit pomocí aplikace pro operační systém Android.
|
|
|
In-Depth Analysis of Code Similarity in Malware Strains
Voščinár, Martin ; Kolář, Dušan (oponent) ; Zobal, Lukáš (vedoucí práce)
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 pro POP3 poštu
Kružliak, Miroslav ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Táto bakalárska práca sa zaoberá sťahovaním elektronickej pošty z POP3 serverov a jej následnou organizáciou na jediný účet IMAP servera. Taktiež študuje možnosti nastavenia a konfigurácie IMAP serverov v prostredí operačného systému Linux. Stručne sú tu porovnané protokoly IMAP a POP3 z implementačného hľadiska. Ďalej študuje možnosti periodického spúšťania procesov a bezpečného ukladania citlivých informácií. V tejto časti práce sú v skratke porovnané hlavné metódy šifrovania.
|
|
|
Multiplatform Linux Sandbox for Analyzing IoT Malware
Uhříček, Daniel ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Diversity of processor architectures used by IoT devices complicates IoT malware analysis. This thesis summarizes current state of static, dynamic, and network analysis and it evaluates existing open source solutions of sandboxes providing automated analysis. It proposes a design of a modular system that is easy-to-use, has available REST API, and web interface. The implementation supports five processor architectures. It was tested on current IoT malware samples.
|
|
|
Transformace Windows PE do grafu toku řízení
Jirák, Ota ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Tato práce pojednává o formátu spustitelných souborů EXE. Soustředí se na části potřebné při reverzním inženýrství. Dále se zabývá jazykem symbolických instrukcí, jeho reprezentací v binárních souborech a získání textového popisu instrukcí disasemblerem. Následuje popis převodu na graf toku řízení, detekce základních struktur (větvení a cykly) vyšších programovacích jazyků.
|
|
|
Standardní knihovny a preprocesor jazyka C pro WWW prohlížeč
Burda, Luděk ; Regéciová, Dominika (oponent) ; Kolář, Dušan (vedoucí práce)
Tato technická zpráva popisuje návrh i implementaci preprocessoru pro jazyk C v jazyce javascript bez využití vzdáleného serveru pro zpracování zdrojového kódu. Dále se zabývá implementací podmnožiny funkcí ze standardních knihoven jazyka C v jazyce javascript a jejich paměťovou a časovou efektivitou. Také je implementován paměťový model jazyka C založený na datových typech jako nezbytný prvek pro funkčnost standardních knihoven.
|
|
|
Konstrukce podporovaná kabelem
Kolář, David ; Koláček, Jan (oponent) ; Nečas, Radim (vedoucí práce)
Předmětem bakalářské práce je návrh lávky přes řeku. Ze tří variant, které se liší statickým uspořádáním, byla vybrána konstrukce lávky podporovaná kabely, tzv. zavěšená. Jedná se o konstrukci sestávající z parabolické monolitické předpjaté mostovky, která je zavěšená na dva svislé pylony konického tvaru pomocí závěsů. Lávka je situována kolmo ke korytu řeky a její celková délka je 57,465 m. Výpočet vnitřních sil byl proveden pomocí softwaru Scia Engineer 20.0 na prutovém a deskovém modelu a pro ruční kontrolu některých dílčích výsledků byl využit program MS Excel. Návrh předpětí, posouzení mezních stavů použitelnosti a únosnosti, dimenzování bylo provedeno ručně podle platných norem a předpisů. K posouzení pylonu na kombinaci dvouosého ohybu a normálové síly byly využity moduly výpočetního softwaru IDEA StatiCa 9 a některé z těchto výsledků byly taktéž kontrolovány ručně, avšak jedná se pouze o zjednodušenou kontrolu. Práce neuvažuje fáze výstavby, ztráty předpětím jsou stanoveny odhadem.
|
host ::
RSS.