Provably secure memory isolation for Linux on ARM

Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann
2016 Journal of Computer Security  
doi:10.3233/jcs-160558 fatcat:ugvovbh3brbcbahkgi5flgigrm