Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• To Secure a Flow

  11 mar

  Disputationer

  Datalogi

  tisdag 2025-03-11, 09.00

  Plats: Kollegiesalen, Brinellvägen 8, Stockholm

  Respondent: Amir M. Ahmadian , Teoretisk datalogi, TCS, Language-Based Security

  2025-03-11T09:00:00.000+01:00 2025-03-11T09:00:00.000+01:00 To Secure a Flow (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)To Secure a Flow (Disputationer)

• Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems

  8 maj

  Disputationer

  Datalogi

  torsdag 2025-05-08, 14.00

  Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Campus

  Respondent: Ehsan Poorhadi , Teoretisk datalogi, TCS

  2025-05-08T14:00:00.000+02:00 2025-05-08T14:00:00.000+02:00 Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Campus (KTH, Stockholm, Sweden)Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems (Disputationer)

• Securing Smart Contracts Against Business Logic Flaws

  11 jun

  Disputationer

  Datalogi

  onsdag 2025-06-11, 09.00

  Plats: Kollegiesalen, Brinellvägen 6, Stockholm

  Respondent: Mojtaba Eshghie , Teoretisk datalogi, TCS

  2025-06-11T09:00:00.000+02:00 2025-06-11T09:00:00.000+02:00 Securing Smart Contracts Against Business Logic Flaws (Disputationer) Kollegiesalen, Brinellvägen 6, Stockholm (KTH, Stockholm, Sweden)Securing Smart Contracts Against Business Logic Flaws (Disputationer)