Program usposabljanja mladega raziskovalca je usmerjen v raziskovanje kvantno varnih komunikacijskih sistemov s poudarkom na varni integraciji postkvantnih kriptografskih mehanizmov v sodobne komunikacijske sisteme ter analizo njihove dolgoročne robustnosti v realnih implementacijskih okoljih. Osrednji cilj programa je usposobiti raziskovalca, ki bo sposoben sistematično povezovati formalne varnostne modele s konkretnimi implementacijskimi in arhitekturnimi vidiki kriptografskih rešitev ter prispevati k razvoju metod za zagotavljanje njihove celostne in kompozicijske varnosti.
V začetni fazi bo raziskovalec poglobil znanje s področja sodobne kriptografije, formalnih varnostnih modelov, kompozicijske varnosti protokolov ter kvantnega modela groženj. Poseben poudarek bo na razumevanju varnostnih dokazov postkvantnih shem, njihovih predpostavk ter omejitev, ki se pojavijo pri prehodu iz teoretično dokazane varnosti v praktično implementacijo in sistemsko uporabo. Osrednji raziskovalni del programa bo namenjen naslovitvi vrzeli med formalno dokazanimi varnostnimi lastnostmi postkvantnih shem in njihovo sistemsko integracijo. Raziskava bo usmerjena v razvoj kompozicijskega modela in metodološkega okvira za analizo varnostnih lastnosti hibridnih in postkvantnih protokolov v prisotnosti implementacijskih odklonov, delnih kompromisov ter realnih omejitev komunikacijskih arhitektur. Posebna pozornost bo namenjena vplivu implementacijskih odločitev, optimizacij in sistemskih prilagoditev na celovito varnost sistema, zlasti z vidika kompozicijske varnosti, odpornosti proti implementacijskim in stranskim napadom ter kompromisov med varnostjo, učinkovitostjo in razširljivostjo. Predlagani pristopi bodo analizirani in eksperimentalno validirani v realnih ali omejenih okoljih z namenom vzpostavitve sistematičnega okvira za varno vključevanje postkvantnih mehanizmov v obstoječe protokole in infrastrukture.
Program spodbuja razvoj izvirnih znanstvenih prispevkov na presečišču formalne kriptografije, varnosti protokolov in sistemske varnosti ter objave v mednarodnih znanstvenih revijah in na konferencah s področja kriptografije in informacijske varnosti. Raziskovalec bo skozi delo razvil sposobnost kritične analize varnostnih modelov, samostojnega oblikovanja novih pristopov ter prenosa teoretičnih rezultatov v praktične komunikacijske sisteme.