~/talk

Practical Application of Verified Boot

Talkat Open Source Summit Europe 2024 · 2024-09-16..09-18· [security]
slides:none on file

Explains how to cryptographically verify bootloader, kernel and filesystem using concrete tools: signing.bbclass in Yocto, NXP CST for bootloader signing, a to-be-upstreamed fitimage class for kernel verification and dm-verity for filesystem integrity. Shows using a Nitrokey HSM / PKCS#11 during CI builds, warns that burning fuses is irreversible, and details operational pitfalls: provisioning factories, CI leaking release keys, field-return procedures, GPLv3 unlock requirements, and the need for thorough documentation and handover.

AI-written summary · about

  1. 0:00Verified boot concepts
  2. 1:06Verified boot complexity
  3. 3:54ARM verified boot implementations
  4. 5:58Verified boot case study
  5. 8:30PKCS#1 and HSMs for secure boot
  6. 12:23Project knowledge handover
  7. 15:51Key management challenges
  8. 18:45Bootloader security trade-offs
  9. 21:54Documentation for verified boot
  10. 24:49Field return device handling
  11. 26:54Yocto HSM signing
  12. 28:20Conclusion and recommendations
  13. 29:25Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.