Cybersecurity Horizons 2024

Doktorandi

image2

Tomáš Přeučil

ČVUT FIT, Katedra číslicového návrhu | preucto2@fit.cvut.cz

Tomáš Přeučil je studentem třetího ročníku doktorského studia na ČVUT FIT a jeho tématem je Bezpečnost všudypřítomných zařízení. Ačkoli se jedná o poměrně široké téma, specializuje se na bezpečnost a útoky na bezdrátové sítě nezaložené na protokolu IP. Z toho se nejvíce věnuje přístupovým systémům, kde hledá nové zranitelnosti a převádí do praxe teoretické útoky. V této části se do teď věnoval především systémům založeným na kartách MIFARE a Legic. Například se mu podařilo prolomit jeden přístupový systém pouze pomocí hrubé síly a emulace částí, kde systém nepočítal s možností změny. Dále začíná s útoky postranními kanály pomocí softwarově definovaného rádia. Cílem jeho práce je navržení protiopatření vůči novým útokům a tím vypracování částečné metodiky pro návrh bezpečných systémů. 

image10

Matúš Olekšák

Embedded Security Lab, ČVUT FIT, Katedra číslicového návrhu | oleksmat@fit.cvut.cz

Matúš je ve třetím ročníku doktorandského studia.Věnuje se útokům postranním kanálem převážně na ARX algoritmy. Ty jsou perspektivní v oblasti výzkumu i díky nedávné standardizaci algoritmu ASCON pro lightweight kryptografii od NIST, který patří do skupiny ARX algoritmů. Mezi jeho úspěchy ve výzkumu patří první publikovaný útok postranním kanálem na algoritmus SipHash.

image11

Jaroslav Pešek

NETMON lab, ČVUT FIT, Katedra číslicového návrhu | jaroslav.pesek@fit.cvut.cz

Jaroslav Pešek je doktorandem na Fakultě informačních technologií ČVUT v Praze ve druhém ročníku. Zaměřuje se na spolehlivé a efektivní nasazení algoritmů pro monitorování a zabezpečení síťového provozu. Zabývá se také měřením a statistickým zpracováním síťového provozu a je klíčovým členem výzkumného týmu pro monitorování síťového provozu ve společnosti CESNET. Půl roku strávil na stáži v Národním institutu informatiky (NII) v Tokiu, kde se věnoval výzkumu v oblasti síťové bezpečnosti.

image13

Josef Koumar

NETMON lab, ČVUT FIT, Katedra číslicového návrhu | koumajos@fit.cvut.cz

Josef Koumar je doktorandem na Fakultě informačních technologií ČVUT v Praze ve třetím ročníku. Zaměřuje se na detekci hrozeb pomocí analýzy časových řad ze síťového provozu. Zabývá se také měřením a statistickým zpracováním síťového provozu a je klíčovým členem výzkumného týmu pro monitorování síťového provozu ve společnosti CESNET.

image4

Jiří Weiss

Skupina Kvantových Komunikací, FEL ČVUT, Katedra Telekomunikační Techniky | weissji1@fel.cvut.cz

Jiří Weiss je doktorandem na Katedře Telekomunikační techniky, FEL ČVUT. Zabývá se kvantovým přenosem šifrovacího klíče s důrazem na sítě v metropolitních oblastech s více uživateli. Zabývá se jak kvantovými protokoly typu Prepare&measure, tak protokoly s kvantovým provázáním. Kvantový přenos šifrovacího klíče představuje metodu odolnou proti potenciálním útokům ze strany (nejen) kvantových počítačů a je tak perspektivním řešením pro oblasti vyžadující vysokou míru zabezpečení.

image12

Matěj Havránek

ČVUT FIT, Katedra číslicového návrhu | matej.havranek@fit.cvut.cz

Matěj Havránek je ve druhém ročníku doktorského studia. Věnuje se přisuzování původu kybernetických hrozeb s důrazem na Advanced Persistent Threats.

image3

David Pokorný

Embedded Security Lab, ČVUT FIT, Katedra číslicového návrhu | david.pokorny@fit.cvut.cz

David Pokorný je doktorandem na ČVUT FIT. Ve svém výzkumu se zaměřuje na útoky postranními kanály se zaměřením na postkvantové kryptosystémy, které se účastnily standardizačního procesu NIST. Ve své první publikaci vylepšil útok na Rainbow (multivariační kryptografie) a v dalším článku navrhl maskovací schéma s použitím ekvivalentních soukromých klíčů. Nyní pracuje na zabezpečení digitálního podpisu Falcon (kryptografie na mřížích).

image7

Benjamín Peraus

ČVUT FIT, Katedra informační bezpečnosti | perauben@fit.cvut.cz

Benjamín Peraus v prvním ročníku doktorandského studia. Věnuje se adversariálním útokům v oblasti detekce malwaru. Úspěšně navrhl obrannou techniku, která zlepšuje robustnost detekčních modelů proti adversariálním útokům. Technika je založená na redukování prostoru pro tyto útoky. Do budoucna by rád udělal další podrobnější experimentální analýzu obranné techniky a rozšířil možnosti redukování. 

zemekoule

David Verner

ČVUT FIT, Katedra Počítačových Systémů | verneda1@fit.cvut.cz

David Verner je v prvním ročníku doktorandského studia. Věnuje se přenosu stabilní frekvence a času, zejména technologii White Rabbit. Aktuálně se zaměřuje na kalibraci zpoždění optických tras a monitorování White Rabbit sítě.

image8

Filip Němec

ČVUT FIT, Katedra číslicového návrhu | nemecfil@fit.cvut.cz

Filip Němec na FIT ČVUT studuje dynamiku a detekci anomálií v aplikačně specifických počítačových sítích. Zejména se soustředí na monitorování nízkolatenčních sítí distribuovaných řídicích systémů s vysokou spolehlivostí, sítí na pozadí systémů reálného času nebo sítí pro přenos nekomprimovaných multimédií. Navržená monitorovací infrastruktura musí respektovat aplikačně specifický charakter sledovaných prostředí a za žádných okolností nesmí narušit bezchybný běh provozovaných infrastruktur. Jako analytický nástroj by měla poskytnout nejen vhled do statistických vlastností systémů, ale také pomoci odhalit potenciální závady, zdroje chyb nebo porušení nároků časově kritických aplikací. Budoucím cílem je aplikovat současné poznatky z velkých jazykových modelů a aplikovat je v kontextu nešifrovaného nebo anotovaného šifrovaného provozu pro predikci dynamiky síťového prostředí a dále pro verifikaci pozorovaných jevů.

image14

Filip Bělohlávek

ČVUT FEL, Katedra telekomunikační techniky | belohfi1@fel.cvut.cz

Po získání titulu Ing. v roce 2022 se věnoval vývoji stratosférických platforem HAPS. Od roku 2024 nastoupil na doktorské studium, kde se věnuje bezpečnosti kyber-fyzikálních systémů (CPS). V rámci studia a projektové činnosti se aktuálně věnuje návrhu a vývoji nových bezpečnostních metod pro CPS, návrhům architektur systémů a systémovému vývoji v rámci CPS/IoT.

image6

Ivan Eroshkin

ČVUT FEL | eroshiva@fel.cvut.cz

Ivan Eroshkin získal titul B.Sc. a M.Sc. v oboru elektrotechniky na Českém vysokém učení technickém v Praze v letech 2017 a 2020. V roce 2020 rovněž získal titul M.Sc. v oblasti mobilních výpočetních systémů na EURECOM v Sophia Antipolis, Francie. V současné době pokračuje ve studiu na doktorském stupni v oboru elektrotechniky na ČVUT v Praze.

V roce 2019 pracoval jako výzkumný stážista v Nokia Bell Labs v Paříži, Francie. V letech 2020 až 2021 působil jako výzkumný stážista v Open Networking Foundation v Menlo Parku, Kalifornie, USA. Mezi jeho výzkumné zájmy patří vývoj softwarově definovaných sítí, budoucnost internetu věcí, virtualizace softwaru a optimalizační techniky pro embedded zařízení.

Vědci

image1

Martin Jureček

ČVUT FIT, Katedra informační bezpečnosti | jurecmar@fit.cvut.cz

Martin Jureček je PostDoc na katedře informační bezpečnosti ČVUT FIT a jeho výzkumné zájmy se zaměřují na aplikaci strojového učení v oblasti informační bezpečnosti, zejména na detekci malwaru. Poslední roky se zabývá adversariálními útoky, které dokáží účinně generovat nedetekovaný malware a obrannými technikami vůči těmto útokům.

image9

Martin Novotný

ČVUT FIT, Katedra číslicového návrhu | novotnym@fit.cvut.cz

Martin Novotný je odborným asistentem a vedoucím Laboratoře vestavěné bezpečnosti na ČVUT v Praze. Působí jako člen redakční rady časopisu Microprocessors and Microsystems a člen programového výboru na několika mezinárodních konferencích zaměřených na kryptografii a digitální design. Byl programovým spolupředsedou DSD 2017, programovým předsedou DSD 2018, generálním předsedou CARDIS 2019 a generálním spolupředsedou konference CHES 2023. Je autorem nebo spoluautorem více než 80 časopiseckých a konferenčních příspěvků a kapitol v knihách. Mezi jeho výzkumné zájmy patří aritmetické jednotky, hardware pro kryptografii a kryptoanalýzu, efektivní implementace kryptografických algoritmů a vestavěné systémy.

dav

Jan Sobotka

ČVUT FEL, Department of Measurement | jan.sobotka@fel.cvut.cz

Absolvent doktorského studia (Ph.D.) na ČVUT FEL v roce 2018 s disertační prací Metody verifikace a validace automobilových distribuovaných systémů. Profesní zkušenosti začal sbírat v roce 2008 vstupem do týmu formula student CTU CarTech, který postavil první studentský formulový vůz v České republice pro soutěž Formula Student Germany. Působí jako odborný asistent na katedře měření, kde se zabývá testováním automobilových elektronických systémů a analýzou komunikace ve vozidlech.

image5

Tomáš Čejka

ČVUT FIT, Katedra číslicového návrhu | cejkato2@fit.cvut.cz

Tomáš Čejka je specialista v oblastech monitorování vysokorychlostních sítí a síťové bezpečnosti. Již přes 10 let pracuje ve sdružení CESNET a v současné době působí jako vedoucí výzkumný pracovník, tzn. vedoucí týmu výzkumníků a vývojářů, manažer výzkumných projektů a konzultant. Mezi jeho další aktivity patří vzdělávání a vedení studentů (včetně doktorandů) jako odborný asistent na Fakultě informačních technologií ČVUT v Praze. Studenti FIT ČVUT se sdružují pod Laboratoří monitorování síťového provozu, jejímž zakladatelem je právě Tomáš Čejka. V neposlední řadě je Tomáš Čejka zapojený i do výuky a výzkumu v oblasti síťové bezpečnosti a (hardwarově akcelerovaného) monitorování síťového provozu.

zemekoule

Michal Sojka

ČVUT CIIRC | michal.sojka@cvut.cz

Michal Sojka vede skupinu embedded systémů na CIIRC, ČVUT. Na FEL přednáší předměty Operační Systémy, Efektivní software a Programování systémů reálného času. V minulosti se hodně zabýval operačními systémy s mikrojádry, v současné době často spolupracuje s automotive průmyslem na různých aspektech autonomních vozidel. Je přispěvatelem do mnoha open-source projektů, v poslední době převážně v souvisejících se správcem balíků Nix a Robot Operating System (ROS).

Fotogalerie z akce