Haglund, J., Guanciale, R., 2020. Trustworthy isolation of DMA devices.. https://doi.org/10.1007/s42786-020-00018-x