DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» CAP computer
CAP computer
Appendix
Operating Systems and Virtualisation Security Knowledge Area (Draft for Comment)
CHERI Instruction-Set Architecture
A VLSI Architecture for Enhancing Software Reliability Kanad Ghose Iowa State University
Privacy Engineering for Social Networks
Operating Systems & Virtualisation Security Knowledge Area
Object Capabilities and Isolation of Untrusted Web Applications
Great Principles of Computing
Capability-Based Computer Systems Capability-Based Computer Systems
Notes on Virtualization
Arxiv:1904.12226V1 [Cs.NI] 27 Apr 2019
Design of the SPEEDOS Operating System Kernel
From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
Operating System Support for Warehouse-Scale Computing
Bibliography
The Cambridge CAP Computer
A Survey of Distributed Capability File Systems and Their Application to Cloud Environments
Top View
Balancing Disruption and Deployability in the CHERI Instruction-Set Architecture (ISA)
Operating Systems & Virtualisation Security
CHERI Instruction-Set Architecture
Mmapx: Uniform Memory Protection in a Heterogeneous World
Computer Security 1 Computer Security
Capsicum: Practical Capabilities for UNIX
An Overview of the Annex System
A Survey of Multiprocessor Operating System Kernels (DRAFT)
EROS: a Fast Capability System £
DEPARTMENT of COMPUTER SCIENCE Carneg E-Mellon Un
Securing Unikernels in Cloud Infrastructures
Example Computer Architecture Research Project
HWMAC: Hardware-Enforced Fined-Grained Policy-Driven Security
OS Support for Capability-Based Permissions in Android