White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, Australia

Source URL: www.itas.kit.edu

• Software
• System software
• Computing
• Embedded systems
• L4 microkernel family
• Gernot Heiser
• Hypervisor
• Microkernel
• Open Kernel Labs
• Xen
• VMware ESXi
• Virtualization

Transactional IPC in Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden, Germany

Source URL: www.mpi-sws.org

• Computing
• Computer architecture
• Concurrency control
• Software
• Transaction processing
• Transactional memory
• Microkernel
• Software transactional memory
• Transactional Synchronization Extensions
• L4 microkernel family
• Rock
• Mach

OVERALL VIEW BACHELORS 52 MCs OF MAJOR MODULES + 16 MCS OF LANGUAGE* HONOURS 92 MCs OF MAJOR MODULES + 16 MCS OF LANGUAGE*

Source URL: www.fas.nus.edu.sg

From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales

Source URL: sigops.org

• Computer architecture
• Software
• Computing
• L4 microkernel family
• Gernot Heiser
• Open Kernel Labs
• Microkernel
• L3 microkernel
• Heiser
• Kernel
• Symposium on Operating Systems Principles
• Mach

Charles Endirect Ltd PRODUCT DATA SHEET Lockable Safety Isolator The Isolator range offers really positive double pole switch isolation with a lockable cover to added security and safety. The isolators can be fitted with

Source URL: www.charlesendirect.com

• Carrier-based aircraft
• Grumman S-2 Tracker
• L4 microkernel family

Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst

Source URL: sel4.systems

• Evaluation
• Trusted computing base
• Microkernel
• L4 microkernel family
• Real-time operating systems
• Gernot Heiser
• Formal verification
• Isabelle
• Formal methods
• Computer security
• Computer architecture
• Computing

seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access

Source URL: sel4.systems

• Gernot Heiser
• L4 microkernel family
• Formal verification
• Real-time operating systems
• Kernel
• Computer security
• Integrity
• Mach
• Ring
• Computer architecture
• Trusted computing base
• Microkernel

SP-15 SCHEDULE Monday - Breakfast 7:30 - 9:25 8:00 - 9:25

Source URL: coa.edu

• L4 microkernel family
• Data management
• Schedule
• Transaction processing

On Architecture Transparency in Operating Systems Danilo Beuche, Ant^onio Augusto Frohlichy, Reinhard Meyer, Holger Papajewski, Friedrich Schony, Wolfgang Schroder-Preikschat, Olaf Spinczyk, Ute Spinczyk University o

Source URL: fusion.cs.uni-magdeburg.de

• Embedded operating systems
• Real-time operating systems
• Kernel
• Operating system
• L4 microkernel family
• Microkernel
• Embedded system
• Scheduling
• QNX
• Computer architecture
• Computing
• System software

L4Cars Kevin Elphinstone Gernot Heiser Ralf Huuck Stefan M. Petters Sergio Ruocco

Source URL: www.cse.unsw.edu.au

• L4 microkernel family
• Microkernel
• Embedded operating systems
• Kernel
• Gernot Heiser
• Trusted computing base
• Mach
• EROS
• Ring
• Computer architecture
• Computing
• Real-time operating systems