Thesis Friday #27: Backward reasoning from a provable endpoint

Anchored Log Reconstruction, principle 4 The question you will be asked At some point someone asks how you know. Not whether the log contains fingerprint lines. How you know the machine was unlocked, by that method, at that moment. The…




