On Thu, Mar 26, 2020 at 2:07 PM Andy Lutomirski <luto@xxxxxxxxxxxxxx> wrote: > > On Mar 26, 2020, at 1:40 PM, Matthew Garrett <mjg59@xxxxxxxxxx> wrote: > > > > On Thu, Mar 26, 2020 at 1:33 PM Andy Lutomirski <luto@xxxxxxxxxxxxxx> wrote: > >> As a straw-man approach: make the rule that we never call EFI after secure launch. Instead we write out any firmware variables that we want to change on disk somewhere. When we want to commit those changes, we reboot, commit the changes, and re-launch. Or we deactivate the kernel kexec-style, seal the image against PCRs, blow away PCRs, call EFI, relaunch, unseal the PCRs, and continue on our merry way. > > > > That breaks the memory overwrite protection code, where a variable is > > set at boot and cleared on a controlled reboot. > > Can you elaborate? I’m not familiar with this. https://trustedcomputinggroup.org/wp-content/uploads/TCG_PlatformResetAttackMitigationSpecification_1.10_published.pdf - you want to protect in-memory secrets from a physically present attacker hitting the reset button, booting something else and just dumping RAM. This is avoided by setting a variable at boot time (in the boot stub), and then clearing it on reboot once the secrets have been cleared from RAM. If the variable isn't cleared, the firmware overwrites all RAM contents before booting anything else. > > As for the second approach - how would we > > verify that the EFI code hadn't modified any user pages? Those > > wouldn't be measured during the second secure launch. If we're calling > > the code at runtime then I think we need to assert that it's trusted. > > Maybe you’re misunderstanding my suggestion. I’m suggesting that we hibernate the whole running system to memory (more like kexec jump than hibernate) and authenticated-encrypt the whole thing (including user memory) with a PCR-sealed key. We jump to a stub that zaps PCRs does EFI calls. Then we re-launch and decrypt memory. When you say "re-launch", you mean perform a second secure launch? I think that would work, as long as we could reconstruct an identical state to ensure that the PCR17 values matched - and that seems like a hard problem.
