The Keykos ArchitectureEighth Edition (DecemberThis paper was written by Norman Hardy and appeared in a slightly different form in Operating Systems Review,

Source URL: www.cap-lore.com

• Microkernel
• Capability-based security
• Domain
• Key
• Windows key
• Kernel
• Function key
• EROS
• Memory protection
• Computer architecture
• Security
• KeyKOS

Temporal Fairness of a Microkernel Scheduler Matthias Daum Computer Science Dept., Saarland University Saarbr¨ ucken, Germany

Source URL: www-wjp.cs.uni-sb.de

Modelling User Programs on top of a Microkernel? Matthias Daum Saarland University, Germany

Source URL: www-wjp.cs.uni-sb.de

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

Will appear in the 2009 IEEE Symposium on Security and Privacy Native Client: A Sandbox for Portable, Untrusted x86 Native Code Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki

Source URL: nativeclient.googlecode.com

• Free software
• Google Native Client
• Vx32
• Sandbox
• Portable Executable
• JavaScript
• Microkernel
• Operating system
• Pin
• Software
• System software
• Computing

Verifying Security Invariants in ExpressOS Haohui Mai Edgar Pek Hui Xue Samuel T. King P. Madhusudan

Source URL: haohui.me

• Real-time operating systems
• Monolithic kernels
• Microkernel
• Kernel
• Ioctl
• Android
• Operating system
• EROS
• Loadable kernel module
• Computer architecture
• System software
• Software

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

PDF Document

Source URL: www.cs.vu.nl

• Concurrent computing
• Thread
• Operating system
• Microkernel
• Process
• Kernel
• Mach
• Message passing
• Mutual exclusion
• Computing
• Computer architecture
• System software

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