Calendar
Mon 21 October
-
Seminar, Theoretical computer science
Mon 2013-10-21, 13:15 - Sat 2013-10-19, 09:00
Location: 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 (Seminar, Theoretical computer science) 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 (Seminar, Theoretical computer science)