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

Formal Verification

CertiKOS: A Certified Kernel for Secure Cloud Computing

Jul 11 2011

Advanced Development of Certified OS Kernels

Jul 15 2010


Bryan Ford