A program logic for seL4-based system verification By Matt Brecknell 3 September 2025 Write your presentation here. View the full resource