[ Zimný semester 2026 ]

Dušan Bernát, bernat@fmph.uniba.sk, (M-252)

Voľné a riešené témy

• Reverzibilné procesy pre Linux (DP)

Debugovanie. Vykonávať inštrukcie procesu v opačnom poradí. Strata/získanie informácie. Ako odstrániť efekt knižničných funkcií, systémových volaní, komunikácie s okolím, ...? Syscall pre nastavenie smeru vykonávania.

• eBPF aplikácie

Profiling. Zero-code instrumentation/tracing/observability.

• Zabezpečenie perzistentnosti údajov vo vybraných častiach súborového systému (BP)

Zmeny len docasne, alebo vobec; premountovat casti ako RO, alebo COW.

• Distribúcia dominačného čísla na náhodných grafoch (RP/BP)

Vo všeobecnosti "ťažké", pre cestu (lineárny graf) to vieme [ Asymptotic Analysis of Domination in Random Linear Graphs via Markov Processes, MMAR 2025 ]. Iné grafy?

• Generovanie/enumerácia dominujúcich množín (RP/BP)

Vo všeobecnosti "ťažké", pre cestu/cyklus (lineárny graf) je to známe [https://oeis.org/A347633 , https://oeis.org/A347538]. Naprogramovať generovanie. Optimalizovať. Iné grafy? (P_2 x C_n)? Formalizovať. Dokázať.

• fddump (RP/BP)

Vypis (alebo zmena) obsahu komunikacie cez deskriptor suboru daneho procesu; strace (eavesdropping); ptrace (injection); [ https://unix.stackexchange.com/questions/31824/how-do-i-attach-a-terminal-to-a-detached-process ].



• Usporiadavanie blokov súboru (BP)
• Detekcia anomálií vo vykonávaných procesoch pomocou ML/AI (DP)
• Analýza vzorov v postupnosti adries používaných procesom (DP)
• DNS covert channel (DP)
• Per-process syscall table (DP)

Diplomové práce

Filip Koseček - Acceleration of computations using FPGA, 2025

Matúš Hluch - Meranie redundancie v dátach, 2024

Bakalárske práce

Jakub Bittara - Analýza doby vykonávania procesu, 2026

Stanislav Bezák -Zvukový kanál pre prenos dát, 2026

Filip Hošták - Analýza dát výsledkov dlhodobých meraní vybraných charakteristík Internetu, 2025

Matúš Bucher - Analysis of reverse shell techniques and possible countermeasures, 2025

Filip Koseček - Updating process code at runtime using GDB, 2023

Peter Trenčanský - Spracovanie dlhodobých meraní vybraných charakteristík Internetu, 2023

Samuel Čavoj - Modification of a process code at runtime, 2022

Matúš Hluch - Detekcia vzorov správania procesu v postupnosti adries, 2022