Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann. Provably secure memory isolation for Linux on ARM. Journal of Computer Security, 24(6):793-837, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.