Tillitis Key – Mullvad spin-off inspired by measured boot and DICE 4 years ago
A user- or host-supplied secret can also be mixed into the key derivation function
To clarify, this secret does not affect the program's hash, right? (e.g. to prove liveness, the parameter is a nonce to be signed with a deterministic private key)