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.
Articles by others on the same topic
There are currently no matching articles.