Trustworthy Isolation of DMA Enabled Devices. - Jonas Haglund; Roberto Guanciale (ICISS, 2019)

Trustworthy isolation of DMA devices. - Jonas Haglund; Roberto Guanciale (J. Bank. Financial Technol., 2020)

Formally Verified Isolation of DMA. - Jonas Haglund; Roberto Guanciale (FMCAD, 2022)

Formal Verification of Peripheral Memory Isolation. - Jonas Haglund (2023)