Defending against Thermal Covert Channel Attacks by Task Migration in Many-core System | IEEE Conference Publication | IEEE Xplore