|
|
Detection of Timing Side-Channels in TLS
Koscielniak, Jan ; Malík, Viktor (oponent) ; Vojnar, Tomáš (vedoucí práce)
The TLS protocol is complex and widely used, which necessitates thorough testing, as there are many devices relying on it for secure communication. This thesis focuses on timing side-channel vulnerabilities, which seem to come back every few years in different variations of the same attacks. It aims to help correctly fix those vulnerabilities and prevent the creation of new ones by providing an automated side-channel testing framework that is integrated into the tlsfuzzer tool, and by expanding its test suite with test scripts for known attacks that exploit timing side-channels. The extension utilizes tcpdump for collecting the timing information and statistical tests and supporting plots to make a decision. The extension and the new test scripts were evaluated and shown to be accurate at spotting side-channels. Both the extension and the test scripts are now a part of the tlsfuzzer tool.
|
|
|
Generátor testovacích dat pro relační databáze
Bašta, Jiří ; Rychlý, Marek (oponent) ; Burget, Radek (vedoucí práce)
Testování systémů a aplikací je součástí jejich vývoje, a proto je důležité vkládat testovací data. Generátor testovacích dat dle předem vytvořené šablony slouží jako nástroj pro naplnění databázových tabulek testovacími daty. Vytvořená aplikace dovolí vývojářům nebo administrátorům efektivně testovat různé systémy jež využívají databázové úložiště. Generování dat probíhá dle předem vytvořená šablony jež definuje strukturu databázových tabulek. Následující text popisuje databázové systémy jako takové, různé způsoby tvorby a vkládání dat a postup implementace nástroje, který by tuto tvorbu testovacích dat umožňoval.
|
|
|
Modelování predikce bankrotu zemědělských podniků
Pokorný, Petr ; Peter,, Markovič, (oponent) ; Karas, Michal (vedoucí práce)
Diplomová práce je zaměřená na problematiku predikce bankrotu firem podnikající v odvětví zemědělství v České republice. Úvodní část se skládá z úvodu do odvětví zemědělstkých firem a teoretického popisu modelů bankrotu využivaných v akademické sféře. V praktická část práce je rozdělena do dvou úseků. V prvním je provedena aplikace dat dostupných z veřejných zdrojů do určitých modelů bankrotu a jejich hodnocení. Následující úsek je zaměřen na zdokonalení nejslibnějšího modelu s cílem maximalizovat jeho přesnot.
|
|
| |
|
|
Emulace DPDK běžícího na procesoru NXP v systému QEMU
Postolka, Matěj ; Dražil, Jan (oponent) ; Kořenek, Jan (vedoucí práce)
Tato práce řeší emulaci síťové funkcionality procesoru NXP QorIQ LS2088A z důvodu testování DPDK aplikací určených pro tuto platformu. Síťová funkcionalita této platformy je poskytována emulovaným PCI zařízením, které je dostupné v prostředí emulátoru QEMU. Toto emulované zařízení je kompatibilní s DPDK a podporuje ty samé funkce jako procesor NXP QorIQ LS2088A. Díky tomu lze vytvořit virtuální prostředí pro testování DPDK aplikací určených pro platformu NXP QorIQ LS2088A.
|
|
|
Samočinné testování mikrokontrolerů
Denk, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá funkční bezpečností elektronických systémů. Konkrétně se zaměřuje na samočinné testování mikroprocesoru a jeho periferií na softwarové úrovni. Cílem práce je navrhnout a implementovat soubor funkcí v jazyce C nebo v jazyce symbolických adres, které samočinně testují zvolené oblasti mikrokontroléru. Prostředky a metody použité v implementovaném řešení si také kladou za cíl splnit požadavky popsané v normě IEC 60730-1, příloha H, softwarová třída B. Zvolenou hardwarovou platformou je mikrokontrolér NXP LPC55S69, jež obsahuje dvě jádra ARM Cortex-M33. Výsledkem je demonstrační aplikace, která v průběhu vykonávání využívá implementované testovací funkce. Součástí je také uživatelské prostředí s možností injekce chyb.
|
|
|
Generátor EKG signálu pro testovací účely
Čech, Petr ; Rampl, Ivan (oponent) ; Chmelař, Milan (vedoucí práce)
Tato Diplomová práce se zabývá problematikou testování EKG monitorů a EKG přístrojů. V práci jsou rozebrány vznik a vlastnosti EKG signálu. Prezentace EKG signálu se provádí pomocí standardizovaných svodů. Proto je zde rovněž uveden způsob, jakým se jednotlivé svody vytvářejí. Samostatná kapitola je věnovaná možnostem generování EKG signálu. Dále jsou zde stanoveny požadavky na generátor EKG signálu. Ty vycházejí především z možností testovaných přístrojů a z povahy generovaného signálu. Práce rovněž obsahuje obvodový návrh jednotlivých bloků systému. Návrh byl proveden s ohledem na požadavek mobility zařízení a možnosti připojit standardní 12-svodový kabel EKG přístroje. Nedílnou součástí je návrh řídícího programu generátoru.
|
|
|
Bezpečnostní rizika autentizačních metod
Dzurenda, Petr ; Babnič, Patrik (oponent) ; Rosenberg, Martin (vedoucí práce)
Diplomová práce se zabývá bezpečnostními riziky současných autentizačních metod. Jsou zde popsány metody založené na znalostech uživatele, vlastnictví autentizačního předmětu a biometrické metody ověření. Praktická část diplomové práce se zabývá konkrétním návrhem autentizačního systému, založeného na protokolu ACP, kdy uživatel prokazuje svoji totožnost čipovou kartou u poskytovatele aktiva, kterým je ACP portál na uživatelském počítači.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
|
|
System for Automatic Filtering of Tests
Lysoněk, Milan ; Smrčka, Aleš (oponent) ; Malík, Viktor (vedoucí práce)
The goal of this thesis is to create a system that automatically determines a set of tests that must be run when a change is done in the ComplianceAsCode project. The proposed method selects a set of tests based on static analysis of the changed sources, taking into account the internal structure of ComplianceAsCode. The created system is divided into four parts - obtaining changes from the versioning system, static analysis of different types of files, computing the set of files affected by the change, and computing the set of tests that must be run to test the given change. We implemented analysis of several types of files and our system is designed to be easily extended by other analyses for other file types. The created implementation is deployed on the server where it automatically analyzes new contributions to the ComplianceAsCode project. The automatic running informs contributors and developers about changes that it found and recommends which tests should be run for the change. This saves the time spent on verifying the correctness of contributions as well as the time spent on running tests.
|
host ::
RSS.