Gästföreläsning: Robbing the Bank with a Model Checker med David Basin, ETH Zürich
Gästföreläsning med professor David Basin, ETH Zürich om användningen av Tamarin, för att kontrollera säkerhetsprotokoll och kunna hitta allvarliga sårbarheter i EMV-betalningsprotokoll. EMV är den internationella protokollstandarden för smartkortsbetalning som används i över 9 miljarder betalkort världen över.
Tid: On 2021-11-17 kl 14.00 - 15.00
Plats: Online or onsite at Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus
Språk: Engelska
Medverkande: Professor David Basin, ETH Zürich
Mer information och registrering på engelska
Föreläsningen arrangeras gemensamt av KTH Digitaliseringsplattformen och Digital Futures.