Nicholas Gordon, Carsten Weinhold. Applying Modern Verification Techniques to a Root-of-Trust Bootloader. In Proceedings of the 13th Workshop on Programming Languages and Operating Systems, PLOS 2025, Seoul, Republic of Korea, October 13-16, 2025. pages 34-41, ACM, 2025. [doi]
Abstract is missing.