|
|
Decompilation of Specialized and Advanced Instruction Sets
Holub, Juraj ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Nowadays, the process of analyzing malicious software is an important part of information technologies. One of the crucial techniques is decompilation of malicious binary programs. The decompilation is a complex process, and there are multiple projects with such a goal. The project RetDec aims to develop retargetable and flexible decompiler. The goal of this research is to improve the decompilation of advanced instruction sets for architecture x86. The new optimization for FPU register stack manipulation is designed, and the support of FPU and SSE instruction set translation is extended. The new extensions are implemented and tested in the manner of decompilation efficiency and quality.
|
|
|
Překladač jazyka Prolog pro .NET
Haljuk, Petr ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Náplní této diplomové práce je implementace interpretu logického programovacího jazyka Prolog. Práce shrnuje různé přístupy vyhodnocování programů v tomto jazyce, nejvíceprostoru je věnováno popisu Warrenova abstraktního stroje. V práci je navržen způsobzačlenení Prologu do platformy Microsoft .NET a jeho propojení s objektovými jazykyna této platformě. Následně je navržen a implementován interpret a překladač vycházejícíz Warrenova abstraktního stroje včetně propojení s .NET.
|
|
|
Informační systém pro správu obsahu webových prezentací
Šulc, Zbyněk ; Kolář, Dušan (oponent) ; Hruška, Tomáš (vedoucí práce)
Předmětem práce je návrh a realizace systému pro správu obsahu webové prezentace. Tento systém má umožnit vytvoření a správu webové prezentace osobám, které nemají zkušenosti s technologiemi pro tvorbu webové prezentace. Systém dále umožňuje snadné přidávání komponent rozšiřující počet implementovaných funkci. Tyto funkce pak mohou přidělovány na základě uživatelských skupin.
|
|
| |
|
|
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.
|
host ::
RSS.