|
| |
|
| |
|
|
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.
|
host ::
RSS.