Obor: Fundamentals of Computer Science
Témata závěrečných prací (školitel)
-
String Analysis for Software Verification –
absolvent 2021
Obor: Fundamentals of Computer Science
Témata závěrečných prací (školitel)
-
Security Protocols for Wireless Networks –
probíhající studium
Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Constant-time cryptographic algorithm implementations –
probíhající studium
-
Applications of machine learning in information security –
probíhající studium
-
Výzkum chování uživatelů v oblasti bezpečnosti ICT –
probíhající studium
-
Analýza bezpečnosti kryptografie eliptických křivek –
probíhající studium
-
Randomness and cryptographic functions –
absolvent 2022
-
On cryptographic weaknesses related to elliptic curves –
absolvent 2022
Obor: Informatika
Témata závěrečných prací (školitel)
-
Challenging RSA cryptosystem implementations –
absolvent 2020
-
On selected end-user issues in usable security –
absolvent 2019
-
Secrecy amplification in wireless sensor networks –
absolvent 2019
-
Optimization of intrusion detection systems in wireless sensor networks –
absolvent 2017
-
On selected privacy and security issues in wireless sensor networks –
absolvent 2014
-
On intrusion detection in wireless sensor networks –
absolvent 2012
-
Cryptographic random and pseudorandom data generators –
absolvent 2009
-
Context information and user profiling –
absolvent 2009
-
The link key security in wireless sensor networks –
absolvent 2009
Obor: Počítačové systémy a technologie
Témata závěrečných prací (školitel)
-
Authenticated and Resilient Disk Encryption –
absolvent 2019
-
Small scale denial of service attacks –
absolvent 2015
-
On automated evaluation of key management schemes in wireless sensor networks –
absolvent 2015
Obor: Technologie a metodologie počítačových systémů
Témata závěrečných prací (školitel)
-
Usable security - the creation and analysis of secure systems respecting human interactions –
probíhající studium
-
Introducing key extraction to secrecy amplification protocols for ad-hoc networks –
absolvent 2022
-
Two Cases of Human-Centered Computer Science: Usable Developer Interaction with TLS Certificates and Effective Teaching Assistant Training –
absolvent 2022
Podrobné informace o tématech a doktorských studentech