Back to Results
First PageMeta Content
Process / Instruction set architectures / Interrupt handler / Kernel / Operating system / Thread / Interrupt flag / INT / Ring / Computer architecture / Interrupts / X86 instructions


KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels John Criswell, Nathan Dautenhahn, and Vikram Adve Department of Computer Science University of Illinois at Urbana-Champaign Email: {criswell,d
Add to Reading List

Document Date: 2014-03-30 11:43:41

Open Document

File Size: 509,70 KB

Share Result on Facebook

Company

AEGIS / SVA / KCoFI / /

Currency

USD / /

/

Event

Reorganization / M&A / /

Facility

Computer Science University of Illinois / I/O port / /

IndustryTerm

software stack / less-privileged software / physical hardware / native code applications / call site / web server bandwidth / commodity systems / commodity operating systems / control-flow integrity solution / gadget-finding tool / system software / /

OperatingSystem

FreeBSD / Integrity / BSD / Linux / L3 / /

Organization

University of Illinois / Vikram Adve Department / /

Position

driver / Coq proof assistant / /

ProgrammingLanguage

C / C++ / /

Technology

virtual machine / Linux / caching / virtual memory / Operating System / operating systems / web server / /

SocialTag