Formally Verified Isolation of DMA.

Jonas Haglund, Roberto Guanciale

Browse the full FMCAD paper archive.