Prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor.

Axel Ferrol, Laurent Corbin, Nikolai Kosmatov

Browse the full FASE paper archive.