10.26180/5ef92f2a30350 HAGEN REINHARD LAUER HAGEN REINHARD LAUER Security and Trust in Virtual Environments Monash University 2020 Trusted Computing Virtual Trusted Platform Formal Models Computer System Security 2020-06-29 00:00:40 Thesis https://bridges.monash.edu/articles/thesis/Security_and_Trust_in_Virtual_Environments/12580607 Virtualization is a core concept in modern computing systems and clients place a vast amount of trust in the virtualization system to provide essential security guarantees such as data confidentiality and software integrity. A virtualization system’s unlimited access to software and data in virtual environments presents a genuine scientific challenge. The Trusted Computing Module (TPM) as part of a trusted platform can be used to establish trust in a computer and we discuss challenges and present solutions related to establishing trust in a virtual environment.