The Security Design of the AWS Nitro System · HackerTrans