BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Systems Seminar: "Rigorous Techniques for Side- and Covert-Channel
 s in Component Systems"
DTSTART:20130716T100000
DTEND:20130716T110000
DTSTAMP:20260508T083602Z
UID:dbbfe1c1dc10fe97129185f6e45c0e71a8625098de25b0b87399dbd3
CATEGORIES:Conferences - Seminars
DESCRIPTION:David Cock (NICTA & UNSW)\nThis talk will cover the work done 
 within NICTA over the last few years on side-channel and covert-channel mi
 tigation techniques in seL4\, concerned particularly with approaches amena
 ble to formal verification.  This is a survey talk\, and will cover:\n\n	
 	Formal\, probabilistic\, models of leakage\;\n	\n		Fundamental mathematic
 al considerations\;\n	\n		The verification of probabilistic countermeasure
 s\; and\n	\n		Empirical evaluation of bandwidth. \n\nThis is a combinatio
 n of work completed during my Ph.D.\, and that of my colleagues: Kevin Elp
 hinstone\, Gernot Heiser\, Qian Ge\, and Johannes Schlatow.
LOCATION:INN 326 http://plan.epfl.ch/?room=inn326
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR