@inproceedings{02460bf9851443f88026a343e6f6c752,
title = "Spatial isolation on realtime hypervisor using core-local memory",
abstract = "Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.",
keywords = "Core-local memory, Embedded systems, Hypervisor, Multicore environment, Operating systems, Security, Virtualization",
author = "Daisuke Yamaguchi and Takumi Yajima and Lee, {Chen Yi} and Hiromasa Shimada and Yuki Kinebuchi and Tatsuo Nakajima",
year = "2012",
month = jun,
day = "15",
language = "English",
isbn = "9789898565006",
series = "PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems",
pages = "415--421",
booktitle = "PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems",
note = "2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012 ; Conference date: 24-02-2012 Through 26-02-2012",
}