Kalender
Må 21 oktober
-
Seminarium, Teoretisk datalogi
må 2013-10-21, 13.15 - lö 2013-10-19, 09.00
Plats: Room 4523, Lindstedtsvägen 3, KTH CSC
2013-10-21T13:15:00.456+02:00 2013-10-19T09:00:46.456+02:00 Roberto Guanciale: Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 3, KTH CSC (KTH, Stockholm, Sweden)Roberto Guanciale: Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel (Seminarium, Teoretisk datalogi)