Back to Results
First PageMeta Content
Linux kernel / Cross-platform software / Linux / Kernel / Menuconfig / Loadable kernel module / Ring / Operating system / NetBSD / Computer architecture / Software / System software


Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability Reinhard Tartler1 , Anil Kurmus2 , Bernhard Valentin Rothberg1 , Andreas Ruprecht1 , Daniela Dorneanu2 , R¨udiger Kapitza3 , Wolfgang Schr¨od
Add to Reading List

Document Date: 2012-08-09 05:19:58


Open Document

File Size: 412,25 KB

Share Result on Facebook

City

Sky / Ottawa / Zurich / Salvador / Preprocessor / /

Company

IBM / ACM Press / Google / Embedded Systems / Mysql / Compile-Time-Configurable System Software / Open Source Forum Software / /

Country

Netherlands / Austria / United States / Brazil / Canada / /

Currency

CVE / /

IndustryTerm

configuration tool / web presence / security solution / ftrace tracing infrastructure / file systems / Web application security scanner / web service / large distributed web services / httperf tool / ftrace infrastructure / typical real-world applications / isolation solutions / security analysis tool / technology preview / automated workload-specific kernel-build generation tool / web server / web server performance / cloud computing / configurable search strategies / security software / dedicated services / /

NaturalFeature

CONFIG DEVTMPFS MOUNT / /

OperatingSystem

UNIX / Linux / OpenBSD / /

Organization

German Research Council / USENIX Association / European Union / New Kernel Foundation for UNIX Development / /

Person

Michael Norrish / Simon Winwood / Chris Wright / Jochen Liedtke / Greg Kroah-Hartman / Karl MacMillan / Benjamin Chelf / Takashi Horie / David Cock / Bernhard Valentin / Andreas Gohr / Philip Derrin / Wolfgang Schr / Keith Marzullo / Alessandro Sorniotti / Stephen Smalley / Lothar Hotz / Niels Heinen / Seth Hallem / Kai Engelhardt / Crispin Cowan / Frank Mayer / Michal Zalewski / Michael Young / Julio Sincero / Christoph Zengler / Michael Burrows / Stephanie Donovan / Tai Jin / Toshiharu Harada / Mike Accetta / David Mosberger / David Golub / Anil Kurmus / Bjorn De Sutter / Harvey Tuch / Christoph M. Kirsch / C. Craig Ross / David Caplan / Avadis Tevanian / Richard Rashid / James Morris / Alois Haselb¨ock / Dominique Chanet / Kees Cook / Reinhard Tartler / Andrew J. Hutton / Edward Wobber / Kazuo Tanaka / Robert Baron / M. Satyanarayanan / Andy Chou / Christian Dietrich / Kevin Elphinstone / Sebastian Roschke / Thomas Sewell / Gernot Heiser / Junfeng Yang / Rafal Kolanski / Daniel Lohmann / Dawson Engler / /

Position

driver / system administrator / Butler / UNDERTAKER / /

ProgrammingLanguage

K / PHP / /

ProvinceOrState

Alberta / Manitoba / Montana / /

Technology

virtual machine / RAM / PHP / Linux / UNIX / Operating Systems / artificial intelligence / http / web server / SCSI / /

URL

www.phpbb.com / http /

SocialTag