DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Ghost (operating system)
Ghost (operating system)
Confine: Automated System Call Policy Generation for Container
Operating System Support for Run-Time Security with a Trusted Execution Environment
Master Thesis
An Operating System Architecture for Intra-Kernel Privilege Separation
Towards a Formally Verified Microkernel Using the VCC Verifier
The Journal for the International Ada Community
Implementing Molecular Dynamics on Hybrid High Performance Computers - Short Range Forces
Ghost: Fast & Flexible User-Space Delegation of Linux Scheduling
Linux Distrib Vendors Make Patches Available for GHOST 29 January 2015, by Nancy Owano
Formal Verification for High Assurance Software: a Case Study Using the SPARK Auto-Active Verification Oolsett
SCONE: Secure Linux Containers with Intel
Schnek: a C++ Library for the Development of Parallel Simulation Codes on Regular Grids.” Computer Physics Communications, Vol
Virtual Ghost: Protecting Applications from Hostile Operating Systems
Secure Virtual Architecture: Security for Commodity Software Systems
WINGERT a Thread Migrating OS for Real-Time Applications
SKEE: a Lightweight Secure Kernel-Level Execution Environment for ARM
Top View