Vajda István (BME Informatika Kar)
Univerzális kompozíció a kriptoprotokollok tervezésében és analízisében
Az univerzális kompozíció (UC, Universal Composition) hatékony technika bizonyítottan biztonságos kriptográfiai protokollok tervezéséhez, ahol a biztonságot tetszõleges protokoll környezetben fenn kell tudni tartani. Az UC egyúttal a moduláris tervezés és analízis fontos módszere. A technika szorosan kapcsolódik a modern kriptográfia fontos paradigmáihoz, mint az eloszlások számítási komplexitás-korlát melletti meg megkülönböztethetetlensége valamint a szimulálhatóság. Különbözõ kutatási problémákon keresztül mutatjuk be a technika alkalmazását, a korlátokat, nyitott kérdéseket.
Időpont: okt. 30. kedd 16:15 Helye: BME, K épület I. em. 50. terem