Yuki Kinebuchi

Learn More
—System integrity monitors, such as rootkit detectors, rely critically on the ability to fetch and inspect pages containing code and data of a target system under study. To avoid being infected by malicious or compromised targets, state of the art system integrity monitors rely on virtualization technology to set up a tamper-proof execution environment.(More)
Like existing commodity computer systems, embedded systems are no more small, static, stable nor safe. They have huge amount of source codes, interact with the inter-net, download and install applications from external, which incur the increase of bugs and security holes. To solve these problems, we propose to leverage virtualization techniques on embedded(More)
Constructing an embedded device with a real-time and a general-purpose operating system has attracted attention as a promising approach to let the device balance real-time responsiveness and rich func-tionalities. This paper introduces our methodology for constructing such multi-OS platform with minimal engineering cost by assuming asymmet-ric OS(More)
A virtualization layer makes it possible to compose multiple functionalities on a multi-core processor with minimum modifications of OS kernels and applications. A multi-core processor is a good candidate to compose various software independently developed for dedicated processors into one multi-core processor to reduce both the hardware and development(More)
Future ambient intelligence environments will embed powerful multi-core processors to compose various functionalities into a smaller number of hardware components. This makes the maintainability of intelligent environments better because it is not easy to manage massively distributed processors. A composition kernel makes it possible to compose multiple(More)
This paper presents an architecture that allows multiple isolated commodity operating systems to run concurrently on a microkernel-based operating system without restricting the CPU architecture of guest operating systems. There are several systems that can execute multiple guest operating systems by using a virtual machine monitor or a microkernel-based(More)