|
| |
|
| |
|
|
Detection of Timing Side-Channels in TLS
Koscielniak, Jan ; Malík, Viktor (referee) ; Vojnar, Tomáš (advisor)
Protokol TLS je komplexní a jeho použití je široce rozšířené. Mnoho zařízení používá TLS na ustanovení bezpečné komunikace, vzniká tak potřeba tento protokol důkladně testovat. Tato diplomová práce se zaměřuje na útoky přes časové postranní kanály, které se znovu a znovu objevují jako variace na už známé útoky. Práce si klade za cíl usnadnit korektní odstranění těchto postranních kanálů a předcházet vzniku nových vytvořením automatizovaného frameworku, který pak bude integrován do nástroje tlsfuzzer, a vytvořením testovacích scénářů pro známé útoky postranními kanály. Vytvořené rozšíření využívá program tcpdump pro sběr časových údajů a statistické testy spolu s podpůrnými grafy k rozhodnutí, zda se jedná o možný postranní kanál. Rozšíření bylo zhodnoceno pomocí nových testovacích skriptů a byla předvedena jeho dobrá schopnost rozlišit postranní kanál. Rozšíření spolu s testy je nyní součástí nástroje tlsfuzzer.
|
|
|
Testing Data Generator for Relational Databases
Bašta, Jiří ; Rychlý, Marek (referee) ; Burget, Radek (advisor)
Testing of systems and applications is part of their development and therefore , testing data generation is very important . Test data generator according to a previously created template is as a tool for inserting test data to the database tables . This software allows developers or administrators to effectively test various systems that use the database storage . Data generation is carried out according to a pre - created template that defines the structure of database tables . The thesis describes the related topics of database systems and the process of the apllication implementation .
|
|
|
Bankruptcy Prediction Modelling in the Agriculture Business
Pokorný, Petr ; Peter,, Markovič, (referee) ; Karas, Michal (advisor)
This master’s thesis is focused on problematic within the prediction of bankruptcy of companies operating in the field of agriculture in Czech republic. First part consists of introduction to companies that do business in field of agriculture and it describes bankruptcy models that are used in academicals sphere. Other part of thesis is divided into two sub-parts. First part is dedicated to an application of data into models of bankruptcy and their evaluation. Second part is focused on improvement of the best model and its main goal is to maximize the precision of the bankruptcy.
|
|
| |
|
|
Emulation of DPDK Running on an NXP Processor in the QEMU System
Postolka, Matěj ; Dražil, Jan (referee) ; Kořenek, Jan (advisor)
This project deals with the emulation of the networking features of the NXP QorIQ LS2088A processor for the purpose of testing Data Plane Development Kit (DPDK) applications. These networking features are emulated as a virtual PCI device in the QEMU machine emulator. This PCI device is compatible with the DPDK and supports the features offered by the original NXP QorIQ LS2088A hardware, thus providing a virtual environment for testing DPDK applications designed for the original NXP QorIQ LS2088A hardware.
|
|
|
Self-Testing of Microcontrollers
Denk, Filip ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This Master's thesis deals with functional safety of electronic systems. Specifically, it focuses on self-testing of the microprocessor and its peripherals at the software level. The main aim of the thesis is to design and implement a set of functions written in programming language C or assembly language, which automatically test the selected areas of the microcontroller. Resources and methods used in the implemented solution also aim to meet the requirements according to the safety standard IEC 60730-1, Annex H, Software Class B. The microcontroller NXP LPC55S69 was chosen as a hardware platform. It consists of two ARM Cortex-M33 cores. As a result, the example application is provided, which uses implemented test functions at the run-time. Example application also contains a graphical user interface with fault injection ability.
|
|
|
ECG generator for equipment testing
Čech, Petr ; Rampl, Ivan (referee) ; Chmelař, Milan (advisor)
This diploma thesis is focused on testing ECG monitors and ECG instruments. There are discussed origin and charakteristics of ECG signal. The ECG signal is presented by standard leads. This is the reason, why the way of making leads is mentioned. One chapter is aimed at generating ECG signal. There are set requierements for the ECG generator. These requierements results from ECG instrument possibilities and from ECG signal character. Next part of this diploma thesis includes hardware design of each part of the system. The system was designed with respect to mobility and 12-leads systems compatibility. Finaly the thesis includes design of the controll software.
|
|
|
The security risks of authentication methods
Dzurenda, Petr ; Babnič, Patrik (referee) ; Rosenberg, Martin (advisor)
Master's thesis deals with the security risks of current authentication methods. There are described methods which are based on user's knowledge and ownership of authentication object and biometric authentication method. The practical part of this Master's thesis deals with a specific design of authentication system based on protocol ACP, when the user proves his identity by smart card on provider assets, which is represented by ACP portal on the user's computer.
|
guest ::
