[rwth-security] Stealing the Bitlocker key from a TPM