Presumably the key is stored in the TPM