Presentations

file

Visible to the public A Secure and Formally Verified Linux KVM Hypervisor

Abstract

file

Visible to the public Keynote Presentation - Securing Data in Clouds: Making the Most of Trusted Hardware

ABSTRACT

Data encryption and data processing within cloud computing form a dichotomy. If access to data is granted to a cloud provider, the tremendous processing power of clouds can be leveraged. On the other hand, if data owners manage their own encryption, the data is more secure but processing capabilities are limited.​