2 Jakub Szefer 2013 Architectures for Secure Cloud Computing Servers PhD Thesis, Electrical Engineering Department Princeton, NJ Princeton University