Home - Topics - Papers - Theses - Blog - CV - Photos - Funny

CertiKOS: A Certified Kernel for Secure Cloud Computing

Topics: Operating Systems Security Modularity Layering Formal Verification Reliability and Robustness