Zimmer, V. (2026). Machine-Checked Linear Temporal Logic for the UEFI Capsule Update Process: A Foundational Proof of Authenticity, Anti-Rollback, and Responsiveness. Zenodo. IEEE Cyber Awareness & Research Symposium 2026 (CARS 2026)
https://www.ieee-cars.org/program/papers?day=1&q=zimmer
https://zenodo.org/records/22834103