Skip to content

Applying Modern Verification Techniques to a Root-of-Trust Bootloader.

Nicholas Gordon, Carsten Weinhold

VenueCPLOS
Year2025
ProceedingsPLOS@SOSP

Browse the full PLOS paper archive.