ADVANCED MAC OS X ROOTKITS DINO A. DAI ZOVI Abstract. The Mac OS X kernel (xnu) is a hybrid BSD and Mach kernel. While Unix-oriented rootkit techniques are pretty well known,

Source URL: www.trailofbits.com

• Computer architecture
• Software
• System software
• Monolithic kernels
• Inter-process communication
• Operating system kernels
• Mach
• FreeBSD
• XNU
• Kernel
• Rootkit
• Microkernel

VirtuOS: an operating system with kernel virtualization Ruslan Nikolaev, Godmar Back Virginia Tech

Source URL: sigops.org

• Computer architecture
• Computing
• Kernel
• Serial ATA
• Microkernel
• Transmission Control Protocol
• Internet protocol suite
• Device driver

Secure and Reliable Firewall Systems based on MINIX 3 R¨ udiger Weis Beuth Hochschule f¨ ur Technik Berlin

Source URL: www.minix3.org

• Computing platforms
• MINIX
• Firewall
• Microkernel
• Netfilter

Hardware-Accelerated Graphics on Microkernels Jamey Sharp, Galois what’s a microkernel?

Source URL: www.x.org

Subverting the Xen hypervisor Rafal Wojtczuk August 7, 2008 Abstract— This paper outlines the recent work by the author

Source URL: www.blackhat.com

• Linux Foundation
• University of Cambridge Computer Laboratory
• Xen
• NetBSD
• X86 architecture
• Hypervisor
• Paravirtualization
• Protection ring
• Hardware virtualization
• Hyper-V
• Rootkit
• Microkernel

c Copyright by John Stracke 2007 All Rights Reserved PACKOS: A MICROKERNEL BASED ON IPV6

Source URL: www.thibault.org

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

™ MICROKERNEL PROFILE FOR VXWORKS Powering billions of intelligent devices, VxWorks® is the world’s most widely deployed real-time operating system (RTOS). VxWorks delivers unrivaled deterministic performance and s

Source URL: windriver.com

• Real-time operating systems
• Embedded operating systems
• VxWorks
• Wind River Systems
• Kernel
• Embedded system
• Simics
• Microkernel
• Embedded software
• System software
• Software
• 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: static.googleusercontent.com

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

System design issues • Systems often have many goals: - Performance, reliability, availability, consistency, scalability, security, versatility, modularity/simplicity • Designers face trade-offs:

Source URL: www.scs.stanford.edu

• Kernel
• Thread
• Scheduler activations
• System call
• Ring
• Linux kernel
• Asynchronous I/O
• End-to-end principle
• Microkernel
• Computer architecture
• Computing
• System software