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

Reliability and Robustness

Heading Off Correlated Failures through Independence-as-a-Service

Oct 7 2014

Structural Cloud Audits that Protect Private Information

Nov 8 2013

An Untold Story of Redundant Clouds: Making Your Service Deployment Truly Reliable

Nov 3 2013

Icebergs in the Clouds: the Other Risks of Cloud Computing

Jun 12 2012

CertiKOS: A Certified Kernel for Secure Cloud Computing

Jul 11 2011

Advanced Development of Certified OS Kernels

Jul 15 2010


Bryan Ford