Calendar

Roberto Guanciale: Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel

21 Oct

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)