@phdthesis { , title = {Architectures for Secure Cloud Computing Servers}, year = {2013}, school = {Princeton University}, type = {PhD Thesis}, address = {Princeton, NJ}, author = {Jakub Szefer} }