Bakalářské práce
Zásuvný modul pro Adobe Illustrator
Autor
Šárka Černá
Rok
2012
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Petr Mikšík
Katedra
Případová studie Apple učebny na ČVUT FIT
Autor
Michal Moravec
Rok
2013
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Tomáš Kadlec
Katedra
SW systém pro přístup k paměti běžícího počítače
Autor
Jan Chvojka
Rok
2014
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Miroslav Skrbek, Ph.D.
Katedra
Hešovací kolize v MD5
Autor
Duc Anh Nguyen
Rok
2014
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Mgr. Martin Jureček, Ph.D.
Katedra
Zásuvný modul pro FileMaker
Autor
Pavel Soukup
Rok
2014
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Jiří Buček, Ph.D.
Katedra
Hešovací kolize v SHA-1
Autor
Martin Jelínek
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
prof. Ing. Róbert Lórencz, CSc.
Katedra
Hešovací kolize v SHA-1
Autor
Juraj Horňák
Rok
2014
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Mgr. Martin Jureček, Ph.D.
Katedra
Linuxový agent pro prolamování hesel hrubou silou
Autor
Bohumil Fiala
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Zdeněk Muzikář, CSc.
Katedra
Analýza čipové karty
Autor
Marek Záruba
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Jiří Buček, Ph.D.
Katedra
Rozšíření simulátoru WinDLX
Autor
Tomáš Králík
Rok
2015
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
doc. Ing. Ivan Šimeček, Ph.D.
Katedra
Anotace
Tato bakalárská práce se zabývá rozšírením stávající verze simulátoru WinDLX o možnost volby
fáze proudového zpracování, ve které probíhá vyhodnocení podmínky skoku, zpoždené a rušící
typy skokových instrukcí a statickou a dynamickou predikci skoku. Soucástí analytické cásti
je strucný popis procesoru DLX a implementace puvodní verze simulátoru. Je navržen zpusob
implementace požadované funkcionality, který je implementován a testován. Výsledkem této
práce je nová verze simulátoru WinDLX, obohacená o zminovanou funkcionalitu.
Virtuální GPU cluster
Autor
Jakub Samek
Rok
2015
Typ
Bakalářská práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Josef Hlaváč, Ph.D.
Katedra
Anotace
Tato bakalářská práce se zabývá možnostmi clusteringu počítačů vybavených grafickou kartou pro obecné výpočty s ohledem na běh bezpečnostních nástrojů k prolamování hesel. Praktickou část práce představuje implementace GPU clusteru v prostředí FIT ČVUT s možností distribuovaného běhu vybraných programů a měření výkonnosti clusteru.
Diplomové práce
Zvukový mixer použitelný místo QuickTime
Autor
Jan Novák
Rok
2012
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Petr Mikšík
Katedra
Distribuované prolamování hesel v PDF na svazku GPU
Autor
Martin Bak
Rok
2012
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
doc. Ing. Ivan Šimeček, Ph.D.
Katedra
Analýza zranitelnosti v PDF
Autor
Jan Kučera
Rok
2012
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Petr Mikšík
Katedra
Porovnání technologií CUDA a OpenCL
Autor
Lubomír Hnát
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Jaroslav Sloup
Katedra
Bezpečnostní studie aplikace
Autor
Martin Jirkal
Rok
2013
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Josef Hlaváč, Ph.D.
Katedra
Bezpečnostní studie aplikace
Autor
Jan Žentek
Rok
2014
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Josef Hlaváč, Ph.D.
Katedra
Analýza PGP Whole Disk Encryption
Autor
Jiří Šembera
Rok
2014
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Petr Mikšík
Katedra
Bezpečnostní studie aplikace
Autor
Karel Rozhoň
Rok
2015
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Petr Mikšík
Katedra
Anotace
Práce se zabývá bezpečnostní analýzou masově využívané aplikace. Představuje svému čtenáři metody, které jsou během analýzy použity a ty pak aplikuje na danou aplikaci. Součástí této práce jsou modelové útoky na nalezené zranitelnosti a návrhy možných protiopatření.
Bezpečnostní studie aplikace
Autor
Jiří Fous
Rok
2015
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Ing. Petr Mikšík
Katedra
Anotace
Tato práce se zabývá studiem úrovně zabezpečení aplikací používaných širokou veřejností a možnostmi ohrožení jejich uživatelů případným útokem, který využívá bezpečnostních zranitelností těmito aplikacemi způsobených.
Cílem této práce je vybrat vhodnou aplikaci na základě stanovených kritérií a tu následně podrobit bezpečnostní analýze. Účelem této analýzy je hledání bezpečnostních zranitelností v podobě neočekávaných pádů aplikace v souvislosti s reakcí na uživatelské vstupy a kontrola úrovně zabezpečení případné komunikace po síti. Nalezená potenciálně zranitelná místa aplikace jsou otestována na možnost jejich zneužití zkušebním útokem a v případě úspěšného útoku jsou následně navržena opatření a doporučení, která vedou ke snížení nebo předcházení rizikům ve spojení se zranitelností vzniklých.
LLVM obfuskátor
Autor
Martin Petráček
Rok
2018
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Katedra
Anotace
Obfuskace je známá technika pro ochranu duševního vlastnictví obsaženého v software. Obfuskace softwaru může být prováděna ručně vývojáři, ale to je časově náročné a omezuje to jeho udržovatelnost. Domníváme se, že lepším přístupem je provádět obfuskaci automaticky, jako součást procesu kompilace. Modularita populárního kompilátoru LLVM nám dává možnost toto udělat. Tato práce je zaměřena na implementaci několika obfuskačních transformací do LLVM a popisuje výhody a omezení tohoto řešení.
LLVM obfuskátor založený na virtuálním stroji s vlastními opkódy a šifrováním řetězců
Autor
Lukáš Turčan
Rok
2019
Typ
Diplomová práce
Vedoucí
Ing. Tomáš Zahradnický, Ph.D.
Oponenti
Mgr. Rudolf Bohumil Blažek, Ph.D.
Katedra
Anotace
Obfuskace je jednou z metod ochrany duševního vlastnictví proti pirátství, kopírování nebo nechtěné modifikaci. Cílem této práce je vytvořit automatický obfuskátor založený na Frameworku LLVM, jehož modularita umožňuje implementaci obfuskačních transformací nezávislých na zdrojovém jazyce a cílové architektuře. Hlavním úspěchem této práce je důkaz, že je možné použít Framework LLVM k vytvoření transformací založených na virtualizaci. Implementované transformace vedle virtualizace zahrnují šifrování řetězců a vylepšené prokládání funkcí.