BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards Trustworthy Embedded Systems - Gernot Heiser (University o
 f New South Wales/NICTA)
DTSTART:20120622T100000Z
DTEND:20120622T110000Z
UID:TALK38564@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:Embedded systems are increasingly used in circumstances where 
 people's lives or valuable assets are at stake\, hence they should be trus
 tworthy - safe\, secure\, reliable. True trustworthiness can only be achie
 ved through mathematical proof of the relevant properties. Yet\, real-worl
 d software systems are far too complex to make their formal verification t
 ractable in the foreseeable future. The Trustworthy Systems project at NIC
 TA has formally proved the functional correctness as well as other securit
 y-relevant properties of the seL4 microkernel. This talk will provide an o
 verview of the principles underlying seL4\, and the approach taken in its 
 design\, implementation and formal verification. It will also discuss on-g
 oing activities and our strategy for achieving the ultimate goal of system
 -wide security guarantees.\n\n
LOCATION:FW26\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR