Executing secured virtual machines within a manycore architecture

•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.