Prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor. - Axel Ferréol; Laurent Corbin; Nikolai Kosmatov (FASE, 2025)