Témavezetés adatlap
Vörös Vivien
hallgató
témavezetés címe
Forráskód biztonsági elemzése, sérülékenység detekciós és javító módszerek kutatása
intézmény
doktori iskola
témavezető
témavezetés módja
fokozat típusa
PhD
témavezetés leírása
A szoftverek biztonsága kiemelt fontossággal bír napjaink informatikai rendszerek használatával átszőtt életében. A biztonsági hibák (sérülékenységek) olyan speciális szoftverhibák, amelyek lehetőséget adnak rosszindulatú felhasználók számára a rendszer nem rendeltetésszerű használatára, azaz a rendszer megtámadására. Jelen témakiírás oylan módszerek kutatását célozza, amelyek segítségével ezen sérülékenységek nagy pontossággal automatikusan detektálhatók. A detekciós módszerek magukban foglalják a statikus elemzést, gépi tanuló módszereket és a korszerű nagy nyelvi modelleken alapuló sérülékenység feltárást. A téma keretein belül újszerű módszerek megalkotását és empirikus vizsgálatát kell elvégezni.
A detektált sérülékenységek további kezelését illetően a téma magában foglalja azok automatikus javítására irányuló módszerek kutatását is. Ez egyrészt kódtranszformációs eljárásokat jelent, például nagy nyelvi modellek segítségével, valamint magában foglalja az automatikus egységtesztek generálását is, melyek felhasználhatók a javított forráskód biztonsági tesztelésére is. A kidolgozott automatikus sérülékenység javítási módszerek empirikus vizsgálatát és kiértékelését szintén el kell végezni.
képzés kezdete
2025-09-01
abszolutórium megszerzésének várható ideje
2029-08-31
státusz
folyamatban lévő
témakiírás