V listopadu obhajují své disertační práce Petr Janků a Ondřej Hujňák z Ústavu inteligentních systémů FIT VUT

Srdečně zveme na listopadové obhajoby disertačních prací. V úterý 26. 11. od 10 hodin se koná obhajoba disertační práce: Automaty v rozhodovacích procedurách a formální verifikaci Ing. Petra Janků a ve čtvrtek 28. listopadu 2024 od 13 hodin obhajoba disertační práce: Zabezpečení bezdrátové komunikace u zařízení IoT Ing. Ondřeje Hujňáka. Obě obhajoby proběhnou v místnosti G 108 na FIT VUT.

Ing. Janků představuje ve své práci rychlou redukci splnitelnosti formulí ve straight-line a acyklickém fragmentu na problém prázdnosti alternujících konečných automatů (AFA). Tato redukce je v mnoha případech polynomiální a v kombinaci s pokročilými algoritmy, jako je IC3, poskytuje první praktický přístup pro řešení omezení nad řetězci zahrnujících konkatenaci, převodníky a regulární omezení. Autor rovněž zavádí nový fragment řetězcových omezení zvaný chain-free a jeho variantu weakly chaining, včetně rozhodovacích procedur pro tyto fragmenty. Tyto nové metody zobecňují jak straight-line fragment, tak acyklickou formu.Součástí práce je i metoda pro ověření splnitelnosti řetězcových omezení, zejména s převodem mezi řetězci a čísly, pomocí parametrických plochých automatů (PFA). Tento postup je doplněn algoritmem pro převod omezení na lineární formule s prohledávacím prostorem omezeným PFA. Na závěr je navržena vylepšená Parikhova abstrakce pro řešení délkových omezení ve straight-line fragmentu. Detaily jsou k dispozici zde.

Práce Ing. Hujňáka se zaměřuje na problematiku bezpečnosti a ochrany soukromí v oblasti internetu věcí (IoT). Práce se věnuje zejména bezpečnosti Bluetooth Low Energy, kde představuje inovativní přístup k monitorování Bluetooth Low Energy spojení. Tento přístup je v práci doveden od teoretického návrhu, přes experimentální ověření až po potenciální vylepšení na produkční úroveň. Kromě sítě Bluetooth práce obsahuje návrh zabezpečení bezdrátové sítě IQRF, který se stal součástí jejího nového standardu a výrazně zvyšuje bezpečnost této celosvětově používané technologie. Autor se také věnuje problematice zajištění soukromí a analyzuje dostupné IoT brány pro domácí prostředí a možnosti anonymizace v IoT sítích. Více o práci naleznete tady.