Práce na příbuzné téma (mají shodná klíčová slova):

semantic equivalence, c library, static analysis, cryptography, llvm ir

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Glozar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Enhancing DiffKemp to Support Generic Projects | Práce na příbuzné téma Zobrazit popisek

2.
Klunko, Mykhailo
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Detecting cryptographic primitives in malicious Windows binaries | Práce na příbuzné téma

3.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Static Analyser for BeakerLib Tests | Práce na příbuzné téma

4.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma

5.
Bishoi, Susil Kumar
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Implementation and security analysis of construction algorithm of Sigma-LFSR | Práce na příbuzné téma

6.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma

7.
Cejnková, Tereza
Fakulta: Ekonomicko-správní fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Reakce trhu na využití technologie blockchain | Práce na příbuzné téma

8.
Čadek, Pavel
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Symbolic Loop Bound Analysis | Práce na příbuzné téma

9.
Čečunda, Marián
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Analýza bezpečnosti proudové šifry RC4 | Práce na příbuzné téma

10.
Čevela, Filip
Fakulta: Právnická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo a právní věda
Obhajoba diplomové práce: Sebeobviňování a kryptografie | Práce na příbuzné téma

11.
Daněk, Ondřej
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Bezpečnost v elektronickém obchodování | Práce na příbuzné téma

12.
Dupal, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma

13.
Fialík, Ivan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Pseudo-Telepathy Games | Práce na příbuzné téma

14.
Formánek, David
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Detekce bezpečnostních chyb pomocí statické analýzy kódu | Práce na příbuzné téma

15.
Fujtík, Ondřej
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zjišťování podobnosti malware | Práce na příbuzné téma

16.
Gavenda, Jiří
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Threshold ECDSA performance analysis | Práce na příbuzné téma

17.
Hančuľák, Radovan
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Security Analysis of an Existing Web Application | Práce na příbuzné téma

18.
Hélová, Petra roz. Kejíková
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství matematiky pro základní školy, Pedagogické asistentství občanské výchovy pro základní školy
Obhajoba bakalářské práce: Šifrování a teorie čísel | Práce na příbuzné téma

19.
Hertl, Josef
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Verifying and improving cryptographic key security in PKCS#11 implementations | Práce na příbuzné téma

20.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma

21.
Jakubík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zajištění důvěryhodnosti elektronické pošty | Práce na příbuzné téma
Obhajoba bakalářské práce: Zajištění důvěryhodnosti elektronické pošty | Práce na příbuzné téma
Obhajoba bakalářské práce: Zajištění důvěryhodnosti komunikace digitálními certifikáty | Práce na příbuzné téma

22.
Jarkovič, Matúš
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Núdzové odpojenie šifrovaného disku pri vyslovení hesla užívateľom | Práce na příbuzné téma

23.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma

24.
Karásková, Zdislava
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Supersingulární isogenie a jejich využití v kryptografii | Práce na příbuzné téma

25.
Kiska, Jakub
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Static analysis of Python code | Práce na příbuzné téma

26.
Klein, Michal
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Finding SQL Injection Vulnerabilities in a C# Source Code | Práce na příbuzné téma

27.
Kohút, Vladimír
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Bezpečnost současného elektronického bankovnictví | Práce na příbuzné téma

28.
Kolouch Grabovský, Matěj
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Measuring the usability of cryptographic libraries | Práce na příbuzné téma

29.
Koudela, Michael
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Visualization of cryptographic protocols | Práce na příbuzné téma

30.
Krhovják, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Cryptographic random and pseudorandom data generators | Práce na příbuzné téma

31.
Kubina, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Vzdálené PKCS11 úložiště | Práce na příbuzné téma

32.
Lapár, Radovan
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Hluboké učení v kryptografii | Práce na příbuzné téma

33.
Macek, Radek
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Bezpečnostní aspekty souborových systémů a bezpečnost dat zajištěná šifrováním disků | Práce na příbuzné téma

34.
Mariš, Adam
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Survey of cryptographic pairing schemes | Práce na příbuzné téma

35.
Mészaroš, Tomáš
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma

36.
Mosnáček, Ondrej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Optimizing authenticated encryption algorithms | Práce na příbuzné téma

37.
Moťková, Lucia roz. Húšťavová
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Vývoj elektronických plateb | Práce na příbuzné téma

38.
Nadrchal, Samuel
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Ekonomie, Matematika
Obhajoba bakalářské práce: Numerické výpočty v různých programovacích jazycích | Práce na příbuzné téma

39.
Němec, Lukáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Introducing key extraction to secrecy amplification protocols for ad-hoc networks | Práce na příbuzné téma

40.
Novák, Jakub
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Improvements of Memory Management in KLEE | Práce na příbuzné téma

41.
Olliaro, Martina
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Computer Science / Fundamentals of Computer Science
Obhajoba disertační práce: String Analysis for Software Verification | Práce na příbuzné téma

42.
Plch, Matěj
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Secure coding in modern C++ | Práce na příbuzné téma

43.
Preisler, Martin
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Kryptografická knihovna OpenCL | Práce na příbuzné téma

44.
Rozehnal, Vojtěch
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Anglický jazyk a literatura, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Statistické vlastnosti skalárního násobení na eliptických křivkách a jejich dopad na kryptoanalýzu | Práce na příbuzné téma

45.
Řechtáčková, Anna
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Improving out-of-bound access checking in Symbiotic | Práce na příbuzné téma

46.
Řiha, Daniel
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Elektronické bankovnictví | Práce na příbuzné téma

47.
Slabý, Jiří
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automatic Bug-finding Techniques for Large Software Projects | Práce na příbuzné téma

48.
Smyčka, Matěj
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Kyberbezpečnost / Kyberbezpečnost
Obhajoba bakalářské práce: Evaluation and Application of SAST Tools | Práce na příbuzné téma

49.
Staněk, Tomáš
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Překladač jazyka Scheme | Práce na příbuzné téma

50.
Strehovský, Michal
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Statická analýza ukazatelů pro jazyk C | Práce na příbuzné téma