Modeling and Analysis of Thermal Covert Channel Attacks in Many-core Systems | IEEE Journals & Magazine | IEEE Xplore