Computer Security TermsProvable securityDefense in depthRoot of TrustTCBWeb of trustPentest ManagementSide-channel attack css.csail.mit.eduhttps://css.csail.mit.edu/6.858/2015/lec/lampson.pdf