Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone. Kernel design for isolation and assurance of physical memory. In Michael Engel, Olaf Spinczyk, editors, Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, IIES '08, Glasgow, Scotland, April 1, 2008. pages 35-40, ACM, 2008. [doi]
Abstract is missing.