Home - Topics - Publications - Blog - CV - Photos - Funny

CertiKOS: A Certified Kernel for Secure Cloud Computing



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