Back to Results
First PageMeta Content
Interrupts / Computer memory / Direct memory access / Motherboard / Device driver / Memory-mapped I/O / Interrupt / Microkernel / Operating system / Computer architecture / Computer hardware / Computing


Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, Fred B. Schneider Cornell University Abstract Device drivers typically execute in superviso
Add to Reading List

Document Date: 2013-09-09 23:18:03

Open Document

File Size: 234,13 KB

Share Result on Facebook

Company

Microsoft Corporation / Intel / /

Facility

port I/O / Port I/O Interrupts MMIO Audio / Nexus port / O port / /

IndustryTerm

loaded systems / asynchronous device / i810 audio device / appropriate device / packet processing rate / synchronous devices / research operating systems / hardware devices / trusted computing base / requisite infrastructure / mainstream operating systems / /

MarketIndex

DMA / /

MusicAlbum

I/O / /

OperatingSystem

Linux / Microsoft Windows / /

Organization

National Science Foundation / USENIX Association / Cornell University / Operating Systems Design and Implementation USENIX Association / /

Person

Safe / Dan Williams / Ai / Fred B. Schneider / Patrick Reynolds / Kevin Walsh / /

/

Position

network driver / the audio driver / driver / and resets the device / driver / sound driver / user-space driver / Nullspec driver / malicious driver / working driver / trusted driver / Linux driver / well-behaved driver / i810 driver / Kernel driver / existing driver / Failure type No failure Driver / USB driver / Device Driver / timer driver / e1000 network driver and the i810 sound driver / trusted driver for the same hardware under Linux / driver / or by acknowledging it / Unprivileged Driver / OS scheduler / active driver / supervisor / legal driver / controller driver / corresponding driver / Nexus scheduler / single driver / USB controller driver / perturbed Nullspec driver / Nexus driver / scheduler / driver Driver / Linux i810 sound card driver / sound card driver / e1000 driver / controller / user-space driver / but with no reference monitor / /

Product

Nexus / Microsoft Corporation Portable Audio Device / Linux / /

PublishedMedium

the Nexus / Nexus / /

Technology

analysis algorithm / Linux / streaming video / operating system / UDP / operating systems / TCP/IP / mobile devices / Ethernet / flash memory / HTTP / caching / SCSI / /

SocialTag