Formally Verified Isolation of DMA

Jonas Haglund, Roberto Guanciale. Formally Verified Isolation of DMA. In FMCAD. pages 118-128, 2022. [doi]

Abstract

Abstract is missing.