DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Hydra (operating system)
Hydra (operating system)
Automatic Sandboxing of Unsafe Software Components in High Level Languages
A Microkernel API for Fine-Grained Decomposition
A Practical UNIX Capability System
On the Construction of Reliable Device Drivers Leonid Ryzhyk
Executive Summary
Open Ongtang-Phd-Dissertation.Pdf
Capability Myths Demolished
Plugging Into High-Volume Consumer Products
Scalability of Microkernel-Based Systems
What Have We Learnt in 20 Years of L4 Microkernels?
Marijuana Business Licenses Approved
Minotaur Automotive Tuning Software™ User's Guide
Université De Strasbourg École Doctorale Mathématiques
Cyber Security Assessment Tools and Methodologies for the Evaluation of Secure Network Design at Nuclear Power Plants
Hydra DT User Manual
Information Security Systems Performance Assessment
Formal Verification of a Component Platform Matthew Fernandez
HYDRA – the Kernel of a Multiprocessor Operating System by Wulf Etc
Top View
C.Mmp-A Multi-Mini-Processor*
Microkernel-Based and Capability-Based Operating Systems
Master's Thesis Nr. 4
OPINION SYSTEMS WEB SYSADMIN HARDWARE COLUMNS BOOK REVIEWS Book Reviews CONFERENCES
Integrating Smartphone Network Architecture and Data Security Techniques to Mitigate Sharp Practices in Non- Profit Organizations
HYDRA: the Kernel of a Multiprocessor Operating System
HYDRA: the Kernel of a Multiprocessor Operating System
Internet Scanner® 7.0 SP2 Asset & Operating System Identification
From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
A Java Middleware for High Performance Computing (HPC) and Internet of Things (Iot)
Pozna´Níchova´Ní
Towards a Verified, General-Purpose Operating System Kernel†
Kernel Isolation of a Capability-Based Security Operating System
University Microfilms International 300 N
COMP9242 Advanced Operating Systems S2/2013 Week 4: Microkernel Design
The Hydra System
A Functional Approach to Memory-Safe Operating Systems
Navigating the Attack Surface
Advanced Systems Topics Part II of III
Sel4: Formal Verification of an OS Kernel
Fast and Secure Inter-Process Communication for Microkernels
Security in Keykos
Open Enck-Dissertation.Pdf
The Politics of Cultural Programming in Public Spaces
Rendezvous-Based Measurement, Traffic Classification and Host Profiling
Downloaded Cc-By-Nc-Nd from Brill.Com09/24/20214.0 License
EROS: a Fast Capability System £
Sample Chapter
Operating System Structures to Support Security and Reliable Software
CPU + GPU 19 Mouvements De Données Et Les Kernels Soient Placés Dans La file D’Un Stream CUDA
Bruce Schneier
Symbian OS Explained
I the Toxicity of Harmony Landfill Leachate to Green Hydra
New Approaches to Operating System Security Extensibility
The Flask Security Architecture: System Support for Diverse Security Policies
Harmonizing Performance and Isolation in Microkernels with Efficient Intra-Kernel Isolation and Communication
Design and Implementation of a Resource-Secure System Matthieu Lemerre, Vincent David, Guy Vidal-Naquet
The C.Mmp/Hydra Project: Pollack, 1974; Wulf, Levin, and Pierson, 1975]
HYDRA: Hybrid Design for Remote Attestation (Using a Formally Verified Microkernel)
Comprehensive Formal Verification of an OS Microkernel