DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Capsicum (Unix)
Capsicum (Unix)
Capabilities
Operating Systems & Virtualisation Security Knowledge Area
Runtime Data Driven Partitioning of Linux Code
Capsicum Slides
Semperos: a Distributed Capability System
Improvement of the Virtualization Support in the Fiasco.OC Microkernel
Capsicum on Linux
INTRODUCING CAPSICUM: PRACTICAL CAPABILITIES for UNIX 9 Permitted
Capexec: Towards Transparently-Sandboxed Services (Extended Version)
Arxiv:1904.12226V1 [Cs.NI] 27 Apr 2019
CHERI Instruction-Set Architecture
What's Going on with Cloudabi
OS Security INTRODUCTION
Toward Oblivious Sandboxing with Capsicum
Towards Oblivious Sandboxing with Capsicum
Adaptive Guarantee-Controlled Software Partitioning of Security Protocols
Capsicum: Practical Capabilities for UNIX
Operating Systems
Top View
Formal Reasoning About Capability Machines
V=8Vqtsy-11F4
Toward Decomposing the Linux Kernel
Txbox: Building Secure, Efficient Sandboxes with System Transactions
Mickaël Salaün Intégration De L'utilisateur Au Contrôle D'accès
Class on Computer Systems Security, Lecture 6
Capsicum and Casper - a Fairy Tale About Solving Security Problems
Navigating the Attack Surface
The CHERI Capability Model: Revisiting RISC in an Age of Risk
V=Tqhmua7z2cy
Capsicum: Practical Capabilities for UNIX
Operating Systems & Virtualisation Security
Code-Centric Domain Isolation: a Hardware/Software Co-Design for Efficient Program Isolation
Capsicum: Practical Capabilities for UNIX
INF226 – Software Security
Solo5: a Sandboxed, Re-Targetable Execution Environment for Unikernels Solo5: a Sandboxed, Re-Targetable Execution Environment for Unikernels
Example Computer Architecture Research Project
CAPSICUM Practical Capabilities for UNIX
OS Support for Capability-Based Permissions in Android