文摘
Design of an efficient secure manycore architecture allowing the execution of physically isolated virtual machines of variable size, and supporting cache coherency. Design of a blind hypervisor adapted to this architecture, and requiring little hardware extensions. Demonstration of the feasibility of our approach by the implementation and evaluation of a cycle-accurate virtual prototype, and confirmation that the virtualization overhead remains low.