 What the Proofs Assume by seL4 Project

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: sel4.systems/Verification/assumptions.html

Cited passages: What the Proofs Assume, The Assumptions: Assembly, Hardware, Hardware management, Boot code, DMA, Information side-channels; What the Proofs Assume, The Assumptions: DMA and memory-mapped device registers.