Back to Results
First PageMeta Content
Real-time operating systems / Memory management / Access control / Capability-based security / Memory protection / Kernel / EROS / Object-capability model / Memory management unit / Computing / Computer architecture / System software


CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization Robert N. M. Watson∗ , Jonathan Woodruff∗ , Peter G. Neumann† , Simon W. Moore∗ , Jonathan Anderson‡ , David Chisnall∗
Add to Reading List

Document Date: 2015-04-13 12:22:46

Open Document

File Size: 422,62 KB

Share Result on Facebook

City

PERM / /

Company

CSC / Exception / Google UK Ltd. / SRI International / Sandboxing / /

Currency

USD / /

Event

Conference Call / /

Facility

library APIs / BERI pipeline / Memorial University / University of Cambridge / University College London Abstract / /

IndustryTerm

software engineering / Capability systems / hardware-software capability-system architecture supporting / software runtime / software compartmentalization / fewer tools / software implementations / web browser / compartmentalization technology / open-source software / software structure / software stack / data-processing libraries / software behaviors / hardware-software architectures / hardware-software object-capability model / softcore processor / software models / hardware-software architecture / software-defined objects / hardware-software security models / object-capability software / software authors / software designs / software libraries / benefit to any applications / soft-core processor / fresh hardware-software approaches / supply chain / prior capability systems / software invariants / software-managed object type / address-space capability systems / pure capability systems / hardware capability systems / web browsers / functional hardware-software prototype / hardware-software domain-transition mechanism / software footprint / printing functions / kernel services / authorized software / software-defined permission bits / singleaddress-space capability systems / web-page rendering / software security model / object-capability systems / runtime services / malicious software / prior object-capability systems / hardware-software approaches / hardware-software prototype / Capability-based software compartmentalization / staged processing / software stacks / consensus hardware / hardware-software security model / Software portions / command-line tools / gzip compression tool / software-defined object capabilities / /

Movie

CheriBSD / /

OperatingSystem

UNIX / FreeBSD / BSD / HYDRA / /

Organization

CHERI ISA / Memory-Management Unit / CHERI CPU / Memorial University / University College London / CPU MMU / University of Cambridge / /

Person

Compartment / Michael Roe / Jonathan Anderson / Nirav Dave / Peter G. Neumann / Steven J. Murdoch / David Chisnall / CHERI FPGA / Stacey Son / HERI BSD KERNEL / Memory Fig / Jonathan Woodruff / Robert Norton / Ben Laurie / Robert N. M. Watson / Brooks Davis / Kernel Capsicum / ASE S TUDIES CHERI / Simon W. Moore / /

Position

lightweight object-capability model for application compartmentalization / supervisor / address-space executive / executive / programmer / process model / TLB $idc $pcc Data Cache L2 Cache $idc $pcc Tag Controller / userspace address-space executive / objectcapability model / model / software supervisor / memory-management and capability executive / /

Product

FreeBSD / FreeBSD OS / /

ProgrammingLanguage

Java / C / /

Technology

API / operating system / shared memory / Java / virtual memory / UNIX / hybridization / compartmentalization technology / RISC processor / HTTP / open-source 64-bit BERI RISC FPGA softcore processor / /

SocialTag