Executing secured virtual machines within a manycore architecture | IEEE Conference Publication | IEEE Xplore